Axiomatising the logic of computer programming Robert Goldblatt
Material type: TextSeries: Lecture notes in conputer science; 130Publication details: New York Springer-Verlag 1982Description: xi, 304pISBN:- 0387112103
- 519.4 G618A
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
General Books | Govind Ballabh Pant University of Agriculture and Technology | 519.4 G618A (Browse shelf(Opens below)) | Available | 310406 |
Includes index
There are no comments on this title.