Software Engineering for Robotics
Editat de Ana Cavalcanti et al.
6 iul 2022
Paperback
Preț: 789.03 lei 986.29 lei
6-8 săpt.
-20%
Cărți de Ana Cavalcanti
Fundamental Approaches to Software Engineering
Editat de Dirk Beyer et al.
6 apr 2024
Paperback
Preț: 296.27 lei 370.34 lei
6-8 săpt.
-20%
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Editat de Laure Petrucci et al.
25 aug 2017
Paperback
Preț: 317.68 lei 397.10 lei
6-8 săpt.
-20%
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Editat de Ana Cavalcanti et al.
27 sep 2006
Paperback
Preț: 326.24 lei 407.80 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2006
Editat de Kamel Barkaoui et al.
30 oct 2006
Paperback
Preț: 326.07 lei 407.59 lei
6-8 săpt.
-20%
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Editat de Ana Cavalcanti et al.
26 oct 2009
Paperback
Preț: 646.38 lei 807.97 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Editat de Karin Breitman et al.
17 noi 2009
Paperback
Preț: 643.20 lei 804.00 lei
6-8 săpt.
-20%