Formal Specification and Development in Z and B

Author	: Didier Bert
Publisher	:
Total Pages	: 552
Release	:
ISBN-10	: 3662164388
ISBN-13	: 9783662164389
Rating	: 4/5 (389 Downloads)

DOWNLOAD EBOOK

Book Synopsis Formal Specification and Development in Z and B by : Didier Bert

Download or read book Formal Specification and Development in Z and B written by Didier Bert and published by . This book was released on with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Formal Specification and Development in Z and B Related Books

Language: en
Pages: 552

Formal Specification and Development in Z and B

Authors: Didier Bert

Categories:

Type: BOOK - Published: - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 541

ZB 2002: Formal Specification and Development in Z and B

Authors: Didier Bert

Categories: Computers

Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

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: 547

ZB 2002: Formal Specification and Development in Z and B

Authors: Didier Bert

Categories: Computers

Type: BOOK - Published: 2002-01-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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: 496

ZB 2005: Formal Specification and Development in Z and B

Authors: Helen Treharne

Categories: Computers

Type: BOOK - Published: 2005-04-25 - Publisher: Springer

DOWNLOAD EBOOK

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

ZB 2003: Formal Specification and Development in Z and B

Authors: Didier Bert

Categories: Computers

Type: BOOK - Published: 2003-05-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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