Ergebnisse filtern
-
- 5
- 5
-
- 2
- 4
- 2
- 2
-
- 2
- 10
- 2
- 2
- 2
- 2
- 2
-
- 5
- 1
- 4
-
- 9
- 1
-
- 10
-
- 10
-
- 10
-
Chechik / Blazy Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-48868-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wirsing / Chechik Fundamental Approaches to Software Engineering
12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00592-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chechik / Wirsing Fundamental Approaches to Software Engineering
12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00593-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Blazy / Chechik Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-48869-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Chechik / Raskin Tools and Algorithms for the Construction and Analysis of Systems
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49674-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Raskin / Chechik Tools and Algorithms for the Construction and Analysis of Systems
22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49673-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chechik / van Breugel CONCUR 2008 - Concurrency Theory
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85360-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
van Breugel / Chechik CONCUR 2008 - Concurrency Theory
19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-85361-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Chechik / Leucker / Katoen Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6¿10, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-27480-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chechik / Katoen / Leucker Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-27481-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
