Related Books
Language: en
Pages: 559
Pages: 559
Type: BOOK - Published: 2003-08-03 - Publisher: Springer
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 presen
Language: en
Pages: 559
Pages: 559
Type: BOOK - Published: 2003-05-20 - Publisher: Springer Science & Business Media
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 presen
Language: en
Pages: 545
Pages: 545
Type: BOOK - Published: 2003 - Publisher:
Language: en
Pages: 507
Pages: 507
Type: BOOK - Published: 2005-04-25 - Publisher: Springer
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revise
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2006-12-12 - Publisher: Springer
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this
