Jonathan Bowen
Artículos populares por Jonathan Bowen
Ver todas las ofertas-
Formal Specification and Documentation Using Z: A Case Study Approach
Bowen, Jonathan. P.
Precios de los artículos a partir de
Ver 3 ofertasEUR 6,91
Encuentra también
Antiguos o usados -
The Turing Guide
Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin
Precios de los artículos a partir de
Ver 8 ofertasEUR 13,43
-
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings: 5238 (Lecture Notes in Computer Science)
Precios de los artículos a partir de
Ver 17 ofertasEUR 14,18
-
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: 1878 (Lecture Notes in Computer Science)
Bowen, Jonathan P.; King, Steve; Dunne, Steve; Galloway, Andy
Precios de los artículos a partir de
Ver 13 ofertasEUR 3,49
-
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Hinchey, Michael G.
Precios de los artículos a partir de
Ver 16 ofertasEUR 4,49
-
Formal Methods: State of the Art and New Directions
Precios de los artículos a partir de
Ver 35 ofertasEUR 18,98
-
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 (Workshops in Computing)
Precios de los artículos a partir de
Ver 13 ofertasEUR 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, ... (Lecture Notes in Computer Science, 2272)
Bowen, Jonathan P.; Henson, Martin C.; Robinson, Ken; Bert, Didier
Precios de los artículos a partir de
Ver 18 ofertasEUR 32,80
Ha visto 8 de 29 títulos