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
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.
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
- Number of pages510
- EditorBowen Jonathan P., Dunne Steve, Galloway Andy, King Steve
Buy New
Learn more about this copy
US$ 55.84
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
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 (Lecture Notes in Computer Science (1878)) by Bowen, Jonathan P., King, Steve, Dunne, Steve, Galloway, Andy [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540679448
Buy New
US$ 55.84
Convert currency
Seller Image
Zb 2000 : Formal Specification and Development in Z and B
Seller:
Rating
Book Description Condition: New. Seller Inventory # 919358-n
Buy New
US$ 61.62
Convert currency
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)
Published by
Springer
(2000)
ISBN 10: 3540679448
ISBN 13: 9783540679448
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020174828
Buy New
US$ 60.28
Convert currency
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
Published by
Springer
(2000)
ISBN 10: 3540679448
ISBN 13: 9783540679448
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540679448_lsuk
Buy New
US$ 64.22
Convert currency
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
Quantity: 1
Seller:
Rating
Book Description 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
Buy New
US$ 66.49
Convert currency
Seller Image
Zb 2000 : Formal Specification and Development in Z and B
Seller:
Rating
Book Description Condition: New. Seller Inventory # 919358-n
Buy New
US$ 83.55
Convert currency
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 Proc
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540679448
Buy New
US$ 91.29
Convert currency
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
Quantity: > 20
Seller:
Rating
Book Description 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
Buy New
US$ 54.04
Convert currency
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 Proc
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540679448
Buy New
US$ 106.66
Convert currency
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:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540679448
Buy New
US$ 108.35
Convert currency