Jonathan Bowen
Articles populaires de Jonathan Bowen
Afficher toutes les offres-
Industrial-Strength Formal Methods in Practice
Hinchey, Michael G.
Prix des articles à partir de
Afficher les 13 offresEUR 4,50
-
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994
Prix des articles à partir de
Afficher les 13 offresEUR 17,30
-
The Turing Guide
Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin
Prix des articles à partir de
Afficher les 6 offresEUR 27,25
-
Formal Specification and Documentation Using Z: A Case Study Approach
Bowen, Jonathan. P.
Prix des articles à partir de
Afficher les 3 offresEUR 14,38
Rechercher également
Ancien ou d'occasion -
Formal Methods: State of the Art and New Directions
Prix des articles à partir de
Afficher les 31 offresEUR 27,56
-
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Bowen, Jonathan P.; Henson, Martin C.; Robinson, Ken; Bert, Didier
Prix des articles à partir de
Afficher les 16 offresEUR 32,52
-
High-Integrity System Specification and Design
Bowen, Jonathan P.
Prix des articles à partir de
Afficher les 14 offresEUR 48,17
-
ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G.
Prix des articles à partir de
Afficher les 17 offresEUR 53,21
Vous avez consulté 8 des 28 ouvrages