The Correctness-by-Construction approach to programming
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library | 005.1 KOU(COR) (Browse shelf(Opens below)) | 1 | Available | 18512 |
Total holds: 0
bill No. SAR/60/2012; dt 31-05-2012
There are no comments on this title.