Ergebnisse filtern
-
- 18
-
- 1
- 8
- 1
- 2
- 2
- 2
- 1
- 1
-
- 10
- 8
-
- 14
- 4
-
- 18
-
- 18
-
- 18
Objektorientierte Softwareentwicklung
-
Grädel / Kolaitis / Libkin Finite Model Theory and Its Applications
2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00428-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Grädel / Kolaitis / Libkin Finite Model Theory and Its Applications
2007Verlag: SpringerISBN: 978-3-642-43860-8Medium: Buch80,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner Software Engineering 2
Specification of Systems and Languages2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21150-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner Software Engineering 2
Specification of Systems and Languages1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: SpringerISBN: 978-3-642-05940-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fokkink Modelling Distributed Systems
2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73937-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fokkink Modelling Distributed Systems
1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: SpringerISBN: 978-3-642-09321-0Medium: 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
-
Bjørner Software Engineering 1
Abstraction and ModellingSoftcover Nachdruck of hardcover 1. Auflage 2006Verlag: SpringerISBN: 978-3-642-05939-1Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner Software Engineering 3
Domains, Requirements, and Software Design2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21151-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner Software Engineering 1
Abstraction and Modelling1. Auflage 2005Verlag: SpringerISBN: 978-3-540-21149-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schneider Verification of Reactive Systems
Formal Methods and Algorithms1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-05555-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castéran / Bertot Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-05880-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castéran / Bertot Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20854-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kurki-Suonio A Practical Theory of Reactive Systems
Incremental Modeling of Dynamic Behaviors1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-3-642-06237-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner Software Engineering 3
Domains, Requirements, and Software Design1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: SpringerISBN: 978-3-642-05941-4Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schneider Verification of Reactive Systems
Formal Methods and Algorithms2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00296-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kurki-Suonio A Practical Theory of Reactive Systems
Incremental Modeling of Dynamic Behaviors2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23342-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
