Buy Used and New Francisco Durán Books

Results for Francisco Durán

Showing 1 to 2 of 2 results
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering) All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering) by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott


ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

 
New : $94.31  
New : $94.31
Composing Model-Based Analysis Tools Composing Model-Based Analysis Tools by Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler

Composing Model-Based Analysis Tools

by Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler


ISBN 13: 9783030819170

Format: Paperback (323 pages)
Publisher: Springer
Published: 04 Dec 2022

Save for later

 
New : $103.25  
New : $103.25