Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Engineering Trustworthy Software Systems
Engineering Trustworthy Software SystemsBand 16481Buch (Taschenbuch) + weitere
Fr. 73.90
Versandfertig innert 4 - 7 Werktagen
-
Provably Correct Systems
Provably Correct SystemsBuch (Gebundene Ausgabe) + weitere
Fr. 138.00
Versandfertig innert 6 - 9 Werktagen
-
Formal Methods and Testing
Formal Methods and TestingBuch (Taschenbuch)
Fr. 73.90
Versandfertig innert 4 - 7 Werktagen
-
Theories of Programming and Formal Methods
Theories of Programming and Formal MethodsBand 14080Buch (Taschenbuch)
Fr. 99.90
Versandfertig innert 4 - 7 Werktagen
-
Museums and Digital Culture
Museums and Digital CultureBuch (Gebundene Ausgabe) + weitere
Fr. 210.00
Versandfertig innert 6 - 9 Werktagen
-
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New DirectionsBuch (Taschenbuch) + weitere
Fr. 137.00
Versandfertig innert 4 - 7 Werktagen
-
Unifying Theories of Programming
Unifying Theories of ProgrammingBand 10134Buch (Taschenbuch) + weitere
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
-
The Arts and Computational Culture: Real and Virtual Worlds
The Arts and Computational Culture: Real and Virtual WorldseBook (PDF) + weitere
Fr. 287.90
Sofort per Download lieferbar
-
Abstract State Machines, B and Z
Abstract State Machines, B and ZBuch (Taschenbuch)
Fr. 73.90
Versandfertig innert 4 - 7 Werktagen
-
Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and CultureBuch (Taschenbuch) + weitere
Fr. 192.00
Versandfertig innert 6 - 9 Werktagen
-
ZB 2003: Formal Specification and Development in Z and B
ZB 2003: Formal Specification and Development in Z and BBand 2651eBook (PDF) + weitere
Fr. 125.90
Sofort per Download lieferbar
-
Copeland, J: Turing Guide
Jack Copeland, Jonathan Bowen, Mark Sprevak + weitere
Copeland, J: Turing GuideBuch (Taschenbuch) + weitere
Fr. 48.90
Versandfertig innert 6 - 9 Werktagen
-
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson + weitere
ZB 2002: Formal Specification and Development in Z and BBand 2272Buch (Taschenbuch)
Fr. 73.90
Versandfertig innert 4 - 7 Werktagen
-
ZUM'97: The Z Formal Specification Notation
Jonathan P. Bowen, Michael G. Hinchey + weitere
ZUM'97: The Z Formal Specification NotationBand 1212Buch (Taschenbuch)
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
-
ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen + weitere
ZUM '95: The Z Formal Specification NotationBand 967Buch (Taschenbuch)
Fr. 137.00
Versandfertig innert 4 - 7 Werktagen
-
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey + weitere
Industrial-Strength Formal Methods in PracticeBuch (Taschenbuch)
Fr. 191.00
Versandfertig innert 4 - 7 Werktagen
-
High-Integrity System Specification and Design
Jonathan P. Bowen + weitere
High-Integrity System Specification and DesignBuch (Taschenbuch)
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
-
ZUM '98: The Z Formal Specification Notation
Jonathan P. Bowen, Andreas Fett + weitere
ZUM '98: The Z Formal Specification NotationBand 1493Buch (Taschenbuch)
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
-
ZB 2000: Formal Specification and Development in Z and B
Jonathan P. Bowen, Steve Dunne, Andy Galloway + weitere
ZB 2000: Formal Specification and Development in Z and BBand 1878Buch (Taschenbuch)
Fr. 72.90
Versandfertig innert 4 - 7 Werktagen
von 19 Treffern werden angezeigt