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 (Lecture Notes in Computer Science, 2651)
ISBN-13: 9783540402534
ISBN-10: 3540402535
Edition: 2003
Binding: Paperback
Publisher: Springer
Published: 2003-05-20
Best Prices for this Book in New Condition
Best Used Prices
As an Amazon Associate I earn from qualifying purchases.