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

Bowen, Jonathan P.; King, Steve; Walden, Marina

ISBN 10: 3540402535 / ISBN 13: 9783540402534

Published by Springer-Verlag, New York City, 2003

About this Item

Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2651. [xiii, 545 p. : ill. ; 24 cm].

Seller Inventory # 010631

Bibliographic Details

• Title: 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
• Publisher: Springer-Verlag, New York City
• Publication Date: 2003
• Language: English
• ISBN 10: 3540402535
• ISBN 13: 9783540402534
• Binding: Hardcover
• Condition: Very Good
• Dust Jacket Condition: No Jacket
• Seller catalogs:
  • Computer

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.