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 - Didier Bert - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540402534 - May 20, 2003
In case cover and title do not match, the title is correct

Didier Bert
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

Price
$ 105.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Contains the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. This book documents the advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications and tools.

554 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 20, 2003
ISBN13 9783540402534
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 554
Dimensions 156 × 234 × 29 mm   ·   784 g
Language German  
Editor Bert, Didier
Editor Bowen, Jonathan P.
Editor King, Steve
Editor Walden, Marina

Mere med samme udgiver

See all of Didier Bert ( e.g. Paperback Book )