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

Didier Bert (u. a.)

ISBN 10: 3540402535 / ISBN 13: 9783540402534

Published by Springer, 2003

About this Item

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 | Didier Bert (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540402534 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Seller Inventory # 102527060

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
• Publication Date: 2003
• Language: English
• ISBN 10: 3540402535
• ISBN 13: 9783540402534
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 31D millimeters 235 millimeters width by 155 millimeters height by 31 millimeters depth
• Weight: 850 grams
• Seller catalogs:
  • Bücher

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.