Zb 2002, Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science - D Bert - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540431664 - January 16, 2002
In case cover and title do not match, the title is correct

D Bert
Zb 2002, Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to applications.

541 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 16, 2002
ISBN13 9783540431664
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 541
Dimensions 156 × 234 × 28 mm   ·   1.26 kg
Language German  
Editor Bert, Didier
Editor Bowen, Jonathan P.
Editor Henson, Martin C.
Editor Robinson, Ken, Ph.d.

More by D Bert

Show all

Mere med samme udgiver

See all of D Bert ( e.g. Paperback Book )