Jonathan Bowen
Beliebte Artikel von Jonathan Bowen
Alle Angebote anzeigen-
Formal Specification and Documentation Using Z: A Case Study Approach
Bowen, Jonathan. P.
Artikelpreise ab
2 Angebote anzeigenEUR 3,81
Entdecken Sie auch
Antiquarisch -
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
Artikelpreise ab
12 Angebote anzeigenEUR 3,52
-
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Hinchey, Michael G.
Artikelpreise ab
13 Angebote anzeigenEUR 4,47
-
The Turing Guide
Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin
Artikelpreise ab
16 Angebote anzeigenEUR 16,50
-
-
-
-
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212 (Lecture Notes in Computer Science)
Bowen, Jonathan P.; Till, David; Hinchey, Michael G.
Artikelpreise ab
7 Angebote anzeigenEUR 28,66
Sie haben 8 von 29 Titeln angesehen