Jonathan Bowen
Articles populaires de Jonathan Bowen
Afficher toutes les offres-
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,50
-
Industrial-Strength Formal Methods in Practice
Hinchey, Michael G.
Prix des articles à partir de
Afficher les 14 offresEUR 4,48
-
The Turing Guide
Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin
Prix des articles à partir de
Afficher les 10 offresEUR 13,42
-
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 -
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 11 offresEUR 20,78
-
Formal Methods: State of the Art and New Directions
Prix des articles à partir de
Afficher les 33 offresEUR 18,97
-
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 15 offresEUR 14,20
-
EVA London 2012: Electronic Visualisation and the Arts
Prix des articles à partir de
Afficher 1 offreEUR 29,53
Rechercher également
Ancien ou d'occasion
Vous avez consulté 8 des 28 ouvrages