Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users
TurkuFinlandJune 4-62003Proceeding
SR 643
Inclusive of VAT
SR39Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR643
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.
Report an issue with this product.
