Jonathan Bowen
Articoli popolari di Jonathan Bowen
Visualizza tutte le offerte-
Industrial-Strength Formal Methods in Practice
Hinchey, Michael G.
Prezzi articolo a partire da
Visualizza 14 offerteEUR 4,49
-
The Turing Guide
Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin
Prezzi articolo a partire da
Visualizza 8 offerteEUR 11,84
-
Formal Specification and Documentation Using Z: A Case Study Approach
Bowen, Jonathan
Prezzi articolo a partire da
Visualizza 3 offerteEUR 6,91
Trova anche
Antichi o usati -
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994
Prezzi articolo a partire da
Visualizza 12 offerteEUR 17,47
-
Formal Methods: State of the Art and New Directions
Prezzi articolo a partire da
Visualizza 31 offerteEUR 27,53
-
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
Bowen, Jonathan P.; King, Steve; Dunne, Steve; Galloway, Andy
Prezzi articolo a partire da
Visualizza 12 offerteEUR 54,21
-
-
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212
Bowen, Jonathan P.; Till, David; Hinchey, Michael G.
Prezzi articolo a partire da
Visualizza 7 offerteEUR 58,56
Hai visualizzato 8 di 29 titoli