Program development by specification & trasformation: the prospectra methodology, language family & system /Berthold Hoffman, (...)
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 005.1 N9316;1
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Computer Science and Automation | 005.1 N9316;1 (Browse shelf(Opens below)) | Available | 156139 |
There are no comments on this title.