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 |
Browsing Govind Ballabh Pant University of Agriculture and Technology shelves Close shelf browser (Hides shelf browser)
519.4 F267A,2 Applied numerical analysis using MATLAB | 519.4 F311M.1 0.1 Mathematical foundations of computer science | 519.4 F612C Computational galerkin methods | 519.4 G618A Axiomatising the logic of computer programming | 519.4 G874P Problem solving and computer programming | 519.4 H224C,2 2 Coding and information theroy | 519.4 H518C Computational analysis with the HP 25 pocket calculator |
Includes index
There are no comments on this title.