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 (Lecture Notes in Computer Science, 2272)

Authors: Bert, Didier, Bowen, Jonathan P., Henson, Martin C., Robinson, Ken

Ask AI a Question

Brand: Springer

ASIN: 3540431667 (US)

54.99 USD In Stock

Category: N/A (Slug: subjects/computers-technology/business-technology)

Ask a Question about "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 (Lecture Notes in Computer Science, 2272)"

0 / 300