Zb 2000 Formal Specification And Development In Z And B
Download Zb 2000 Formal Specification And Development In Z And B full books in PDF, epub, and Kindle. Read online free Zb 2000 Formal Specification And Development In Z And B ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 524
Pages: 524
Type: BOOK - Published: 2000-08-16 - Publisher: Springer Science & Business Media
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 2
Language: en
Pages: 547
Pages: 547
Type: BOOK - Published: 2002-01-16 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 2
Language: en
Pages: 507
Pages: 507
Type: BOOK - Published: 2005-04-07 - Publisher: Springer Science & Business Media
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: 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: 496
Pages: 496
Type: BOOK - Published: 2001-05-25 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001, held in Interlaken,