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 14,90
Encuentra también
Antiguos o usados -
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 13 ofertasEUR 4,49
-
The Turing Guide
Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin
Precios de los artículos a partir de
Ver 6 ofertasEUR 27,29
-
Formal Methods: State of the Art and New Directions
Precios de los artículos a partir de
Ver 31 ofertasEUR 27,50
-
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 16 ofertasEUR 32,53
-
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,31
-
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures: 15584 (Lecture Notes in Computer Science)
Precios de los artículos a partir de
Ver 11 ofertasEUR 59,01
Encuentra también
Nuevos -
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 13 ofertasEUR 52,07
Ha visto 8 de 29 títulos