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 by Jonathan P. BowenZB 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 by Jonathan P. Bowen

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z…

EditorJonathan P. Bowen, Steve Dunne, Andrew Galloway

Paperback | August 16, 2000

Pricing and Purchase Info

$148.02 online 
$167.95 list price save 11%
Earn 740 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z…Format:PaperbackDimensions:528 pages, 9.17 × 6.1 × 0.03 inPublished:August 16, 2000Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540679448

ISBN - 13:9783540679448

Look for similar items by category:

Reviews