Mathematical theory of program correctness by Jaco De Bakker, asst. by Arie De Bruin, Jeffrey Zucker
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 0135621321
- 001.642 N8013
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 001.642 N8013 (Browse shelf(Opens below)) | Available | 118313 |
There are no comments on this title.