Items related to ZB 2000: Formal Specification and Development in Z...
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science, 1878) - Softcover
Synopsis
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.
The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2000
- ISBN 10 3540679448
- ISBN 13 9783540679448
- BindingPaperback
- LanguageEnglish
- Number of pages510
- EditorBowen Jonathan P., Dunne Steve, Galloway Andy, King Steve
Search results for ZB 2000: Formal Specification and Development in Z...
Stock Image
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-1242
Quantity: 1 available
Seller Image
Zb 2000 : Formal Specification and Development in Z and B
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 919358
Quantity: Over 20 available
Seller Image
Zb 2000 : Formal Specification and Development in Z and B
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 919358-n
Quantity: Over 20 available
Stock Image
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science, 1878)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020174828
Quantity: Over 20 available
Stock Image
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science, 1878)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540679448_new
Quantity: Over 20 available
Seller Image
Zb 2000 : Formal Specification and Development in Z and B
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 919358
Quantity: Over 20 available
Seller Image
Zb 2000 : Formal Specification and Development in Z and B
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 919358-n
Quantity: Over 20 available
Seller Image
ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Published by
Springer Berlin Heidelberg, 2000
ISBN 10: 3540679448
ISBN 13: 9783540679448
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered. Seller Inventory # 9783540679448
Quantity: 1 available
Seller Image
ZB 2000: Formal Specification and Development in Z and B
Published by
Springer Berlin Heidelberg, 2000
ISBN 10: 3540679448
ISBN 13: 9783540679448
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully review. Seller Inventory # 4898484
Quantity: Over 20 available
Stock Image
ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Pro
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540679448
Quantity: 10 available