Ergebnisse filtern
-
- 12
- 10
-
- 5
- 1
- 2
- 2
- 4
- 4
- 4
-
- 11
- 1
- 7
- 3
-
- 1
- 14
- 7
-
- 22
-
- 22
-
- 22
-
Cavalcanti / Baxter The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part IIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-66673-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark139,09 € (inkl. MwSt.)
sofort verfügbar -
Cavalcanti / Baxter The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part IErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-66676-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark117,69 € (inkl. MwSt.)
sofort verfügbar -
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 / Dams FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-05089-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
Breitman / Cavalcanti Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-10373-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
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 -
Petrucci / Seceleanu / Cavalcanti 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-67113-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 Lectures2006Verlag: SpringerISBN: 978-3-540-46254-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings2006Verlag: SpringerISBN: 978-3-540-48816-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Borba / Cavalcanti / Sampaio Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised LecturesErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14335-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14808-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 / Hierons Software Engineering for Robotics
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-66494-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark117,69 € (inkl. MwSt.)
sofort verfügbar -
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