Overview

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.


ISBN-13

9783540402534

ISBN-10

3540402535

Weight

1.74 Pounds

Dimensions

6.10 x 1.28 x 9.25 In

List Price

$109.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

xiv, 554 pages

Publisher

Springer

Published On

2003-05-20



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$52.42

 Free delivery by: 31 Mar 2026

Used, Very Good
Seller details
Doss-Haus Books
★★★★☆

Redondo Beach, CA, USA

Book. 8vo-over 7¾"-9¾" tall. Hardcover 2003 library bound edition. Ex-library book with stamps and ...
$79.28

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.