Formal description of programming concepts -II Proceedings /ed. by Dines Bjorner.
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 0444866191
- 005.1 N831
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 005.1 N831 (Browse shelf(Opens below)) | Available | 118413 |
There are no comments on this title.