Catalogo · 9783032014856
Towards Autonomous Robotic Systems
ISBN 9783032014856
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
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
FM 2009 : Formal Methods
Ana Cavalcanti, Dennis Dams
Critical Systems
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Verba volant · scripta manent