Ergebnisse filtern
-
- 5
- 4
-
- 2
- 2
- 2
- 1
- 2
-
- 1
- 6
- 2
-
- 8
- 1
-
- 9
-
- 9
-
- 9
-
Butler / Schulte FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-21437-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Butler / Schulte FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21436-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davies / Schulte / Barnett Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, ProceedingsErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-30482-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Davies / Schulte / Barnett Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23841-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacky / Veanes / Campbell Model-Based Softwre Test Anlys w C
Erscheinungsjahr 2008Verlag: Cambridge University PressISBN: 978-0-521-68761-4Medium: Buch56,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-11653-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11652-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beklemishev / Blass / Dershowitz Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23533-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beklemishev / Blass / Dershowitz Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23534-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort