Share
zb 2003: formal specification and development in z and b (in English)
$ 104.20
$ 109.99
You save: $ 5.79
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Monday, June 24 and
Tuesday, June 25.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "zb 2003: formal specification and development in z and b (in English)"
this book constitutes 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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
✓ Producto agregado correctamente al carro, Ir a Pagar.
