Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings

Bert, Didier/ Bowen, Jonathan P./ International Conference of B and Z Users (3rd : 2003 : Turku, Finland)/ King, Steve/ Walden, Marina

ISBN 10: 3540402535 / ISBN 13: 9783540402534

Published by Springer-Verlag New York Inc, 2003

About this Item

1st edition. 547 pages. 9.00x6.00x1.25 inches. In Stock.

Seller Inventory # x-3540402535

Bibliographic Details

• Title: Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2003
• Language: English
• ISBN 10: 3540402535
• ISBN 13: 9783540402534
• Binding: Paperback
• Condition: Brand New
• Weight: 0.84 kilograms

About this title

Synopsis

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.

The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent 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, tools, and case studies.