Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Dirk Beyer, Ana Cavalcanti - Fundamental Approaches to Software Engineering
Dirk Beyer, Ana Cavalcanti Fundamental Approaches to Software Engineering Englisch 06.04.2024 Taschenbuch Fr. 55.90 1-2 Wochen (Titel wird auf Bestellung gedruckt)
James Baxter, Ana Cavalcanti - The Practice of Formal Methods
James Baxter, Ana Cavalcanti The Practice of Formal Methods Englisch 13.08.2024 Taschenbuch Fr. 91.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
James Baxter, Ana Cavalcanti - The Practice of Formal Methods
James Baxter, Ana Cavalcanti The Practice of Formal Methods Englisch 13.08.2024 Taschenbuch Fr. 91.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis, Jim Woodcock - Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis, Jim Woodcock Software Engineering for Robotics Englisch 01.01.2022 Taschenbuch Fr. 157.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Ana Cavalcanti, Brijes Dongol, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis... - Software Engineering for Robotics
Ana Cavalcanti, Brijes Dongol, Brijesh Dongol, Rob Hierons, Rob Hierons et al, Jon Timmis... Software Engineering for Robotics Englisch 19.02.2021 Fester Einband Fr. 158.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Kamel Barkaoui, An Cavalcanti, Ana Cavalcanti, Antonio Cerone - Theoretical Aspects of Computing - ICTAC 2006
Kamel Barkaoui, An Cavalcanti, Ana Cavalcanti, Antonio Cerone Theoretical Aspects of Computing - ICTAC 2006 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock - Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock Refinement Techniques in Software Engineering Englisch 27.09.2006 Taschenbuch Fr. 70.00 6-7 Wochen
Ana Cavalcanti, Dennis Dams - FM 2009: Formal Methods
Ana Cavalcanti, Dennis Dams FM 2009: Formal Methods Englisch 26.10.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Kari Breitman, Karin Breitman, Cavalcanti, Cavalcanti, Ana Cavalcanti - Formal Methods and Software Engineering
Kari Breitman, Karin Breitman, Cavalcanti, Cavalcanti, Ana Cavalcanti Formal Methods and Software Engineering Englisch 15.10.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Ana Cavalcanti, Laure Petrucci, Cristin Seceleanu, Cristina Seceleanu - Critical Systems: Formal Methods and Automated Verification
Ana Cavalcanti, Laure Petrucci, Cristin Seceleanu, Cristina Seceleanu Critical Systems: Formal Methods and Automated Verification Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Ana Cavalcanti, Simon Foster, Robert Richardson - Towards Autonomous Robotic Systems
Ana Cavalcanti, Simon Foster, Robert Richardson Towards Autonomous Robotic Systems Englisch 10.09.2025 Taschenbuch Fr. 103.00 6-7 Wochen