ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - Lecture Notes in Computer Science 3455 (Paperback)Helen Treharne (editor), Steve King (editor), Martin Henson (editor), Steve Schneider (editor)
- We can order this from the publisher
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 496
Weight: 1580 g
Dimensions: 235 x 155 x 26 mm
Edition: 2005 ed.
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?
Alternatively, for multiple items you may find it easier to add to basket, then pay online and collect in as little as 2 hours, subject to availability.