MATHEMATICAL THEORY OF PROGRAMME CORRECTNESS
By: BAKKER JACO DE.
Material type: BookPublisher: LONDON Prentice Hall 1980Description: 24X17.DDC classification: 621.3819642 B168Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | CENTRAL LIBRARY | 621.3819642 B168 (Browse shelf) | Available | 035638 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
No cover image available | No cover image available | |||||||
621.3819642 B165 INTRODUCTION TO COMPUTERS AND C PROGRAMMING | 621.3819642 B165 INTRODUCTION TO COMPUTERS AND C PROGRAMMING | 621.3819642 B166 PARALLEL PROGRAMMING AND JAVA | 621.3819642 B168 MATHEMATICAL THEORY OF PROGRAMME CORRECTNESS | 621.3819642 B169 ARCHITECTURE INDEPENDENT PROGRAMMING FOR WIRELESS SENSOR NETWORKING | 621.3819642 B171 Programming in Ansi C | 621.3819642 B171 Programming in Ansi C |
There are no comments for this item.