The Way of Z: Practical Programming with Formal Methods Jonathan, Jacky
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Don Bosco Institute of Technology Library Reference | Computer Science | 005.12 JAC/WAY (Browse shelf(Opens below)) | Not for loan | 1779 |
This book is having bibliography328-339 from page
There are no comments on this title.