Ergebnisse filtern
-
- 2
- 2
-
- 1
- 1
- 1
- 1
-
- 3
- 1
-
- 3
- 1
-
- 4
-
- 4
-
- 4
-
Araki / Galloway / Taguchi IFM'99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 19991. Auflage. 1999Verlag: SpringerISBN: 978-1-85233-107-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Araki / Galloway / Taguchi IFM’99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0851-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-44525-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / King / Dunne ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67944-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort