Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Sale price
$98.99
Regular price
$109.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Didier Bert | Jonathan P. Bowen | Steve King | Marina Waldén
Computers / Software Development & Engineering / General
| Publication Date: | 20 May 2003 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540402534 |
| Format: | Paperback / softback |
| Page Count: | 554 |