Ergebnisse filtern
-
- 5
-
- 1
- 2
- 1
- 1
-
- 1
- 2
- 1
- 5
- 1
- 1
-
- 2
- 2
- 1
-
- 5
-
- 5
-
- 5
-
- 5
Programmierung | Softwareentwicklung
-
Pang / Merz Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Merz / Kröger Temporal Logic and State Systems
2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67401-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Merz / Méry Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-16264-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Merz / Kröger Temporal Logic and State Systems
1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: SpringerISBN: 978-3-642-08680-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Broy / Spies / Merz Formal Systems Specification
The RPC-Memory Specification Case Study1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61984-0Medium: 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
