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