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. Bowen

No Customer Reviews

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.

Format:Paperback

Language:English

ISBN:3540679448

ISBN13:9783540679448

Release Date:August 2000

Publisher:Springer

Length:510 Pages

Weight:2.69 lbs.

Dimensions:1.1" x 8.5" x 11.0"

Related Subjects

Computers Computers & Technology Medical Medical Books

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ^® and the ThriftBooks ^® logo are registered trademarks of Thrift Books Global, LLC

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

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us