ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Didier Bert | Jonathan P. Bowen | Martin C. Henson | Ken Robinson
Computers / Software Development & Engineering / General
| Publication Date: | 16 January 2002 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540431664 |
| Format: | Paperback / softback |
| Page Count: | 541 |