The foundations of program verification / Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer.
By: Loeckx, Jacques.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 005.14 L822 Fo,2 (Browse shelf(Opens below)) | Available | 151603 |
There are no comments on this title.