Axiomatising the logic of computer programming by Robert Goldblatt.
Material type: BookSeries: Lecture notes in computer science 130Publication details: Berlin Springer-Verlag 1982Description: xi, 304pISBN:- 3540112103
- 519.4 N821
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | JRD Tata Memorial Library | 519.4 N821 (Browse shelf(Opens below)) | Available | 114242 |
There are no comments on this title.