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. (EDT); International Conference of B and Z Users (3rd : 2003 : Turku, Finland); King, Steve; Walden, Marina

ISBN 10: 3540402535 / ISBN 13: 9783540402534

Published by Springer, 2003

About this Item

Seller Inventory # 5907031-n

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
• Publication Date: 2003
• Language: English
• ISBN 10: 3540402535
• ISBN 13: 9783540402534
• Binding: Soft cover
• Condition: New

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.