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 (Paperback)Didier Bert (editor), Jonathan P. Bowen (editor), Martin C. Henson (editor), Ken Robinson (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 541
Weight: 1690 g
Dimensions: 235 x 155 x 28 mm
Edition: 2002 ed.
You may also be interested in...
Please sign in to write a review