Ergebnisse filtern
-
- 6
-
- 1
- 1
- 2
- 1
- 1
-
- 1
- 1
- 2
- 1
- 6
- 1
- 1
-
- 2
- 2
- 2
-
- 6
-
- 6
-
- 6
-
- 6
Mathematik | Informatik
-
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 / 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 -
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 / Blanchette Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-43143-7Medium: Buch53,49 € (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