Catalogo · 9783642050893
FM 2009 : Formal Methods
ISBN 9783642050893
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Theoretical aspects of computing
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Towards Autonomous Robotic Systems
Ana Cavalcanti, Simon Foster, Robert Richardson
Theoretical Aspects of Computing - ICTAC 2006
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
Testing Techniques in Software Engineering
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Fundamental Approaches to Software Engineering
Dirk Beyer, Ana Cavalcanti
Formal Methods Second World Congress Proceedings
Ana Cavalcanti
Formal Methods and Software Engineering
Karin Breitman, Ana Cavalcanti
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Ana Cavalcanti
Critical Systems
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Verba volant · scripta manent