Jonathan Bowen
Articles populaires de Jonathan Bowen
Afficher toutes les offres-
Formal Specification and Documentation Using Z: A Case Study Approach
Bowen, Jonathan. P.
Prix des articles à partir de
Afficher les 3 offresEUR 6,91
Rechercher également
Ancien ou d'occasion -
The Turing Guide
Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin
Prix des articles à partir de
Afficher les 8 offresEUR 13,41
-
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Bowen, Jonathan P.; King, Steve; Dunne, Steve; Galloway, Andy
Prix des articles à partir de
Afficher les 13 offresEUR 3,49
-
Industrial-Strength Formal Methods in Practice
Hinchey, Michael G.
Prix des articles à partir de
Afficher les 16 offresEUR 4,48
-
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Prix des articles à partir de
Afficher les 17 offresEUR 14,19
-
Z User Workshop, Cambridge 1994: Proceedings Of The Eighth Z User Meeting, Cambridge, 29 - 30 June 1994 (Workshops In Computing)
Prix des articles à partir de
Afficher les 13 offresEUR 17,45
-
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 18 offresEUR 32,80
-
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Bowen, Jonathan P.; Hinchey, Michael G.
Prix des articles à partir de
Afficher les 13 offresEUR 20,75
Vous avez consulté 8 des 28 ouvrages