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