B 2007: Formal Specification and Development in B
B 2007: Formal Specification and Development in B PDF book is popular Computers book written by Jacques Julliand. The book was released by Springer on 2006-12-12 with total hardcover pages 305. Fast download link is given in this page, you could read B 2007: Formal Specification and Development in B by Jacques Julliand in PDF, epub and kindle directly from your devices.
B 2007: Formal Specification and Development in B
-
B 2007: Formal Specification and Development in B Book Detail
- Author : Jacques Julliand
- Release Date : 2006-12-12
- Publisher : Springer
- Genre : Computers
- Pages : 305
- ISBN 13 : 3540687610
- File Size : 20,20 MB