Ergebnisse filtern
-
- 13
-
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 2
-
- 6
- 1
- 3
- 3
-
- 1
- 8
- 4
-
- 13
-
- 13
-
- 13
Mathematik | Informatik
-
Cavalcanti / Dams FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-05088-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Breitman Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10372-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baxter / Cavalcanti The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-66672-8Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Beyer Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57258-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baxter / Cavalcanti The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-66675-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Petrucci / Cavalcanti / Seceleanu 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, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-67112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Foster / Richardson Towards Autonomous Robotic Systems
26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-01485-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Barkaoui / Cerone / Cavalcanti Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-46253-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Borba / Cavalcanti / Sampaio Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14334-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14807-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Dongol / Woodcock Software Engineering for Robotics
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-66493-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Dongol / Woodcock Software Engineering for Robotics
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-66496-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
