ZB 2003: Formal Specification and Development in Z and B
ZB 2003: Formal Specification and Development in Z and B PDF book is popular Computers book written by Didier Bert. The book was released by Springer on 2003-08-03 with total hardcover pages 559. Fast download link is given in this page, you could read ZB 2003: Formal Specification and Development in Z and B by Didier Bert in PDF, epub and kindle directly from your devices.
ZB 2003: Formal Specification and Development in Z and B
-
ZB 2003: Formal Specification and Development in Z and B Book Detail
- Author : Didier Bert
- Release Date : 2003-08-03
- Publisher : Springer
- Genre : Computers
- Pages : 559
- ISBN 13 : 3540448802
- File Size : 86,86 MB