Mathematical theory of program correctness /
by Bakker, J. W. de
Series: Prentice-Hall International series in computer science Published by : Prentice-Hall International, (Englewood Cliffs, N.J. :) Physical details: xvi, 505 p. ; 24 cm. ISBN:0135621321 :. Year: 1980Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University of Sargodha-Central Library | 001.642/BAM (Browse shelf) | Available | 36353 |
Browsing University of Sargodha-Central Library Shelves Close shelf browser
No cover image available | ||||||||
001.61/OLM Microsoft Excel 2002 / | 001.640/GIM Microprocessors/microcomputers : | 001.640/GIM Microprocessors/microcomputers : | 001.642/BAM Mathematical theory of program correctness / | 001.642/KEE The elements of programming style / | 001.642PEB BASIC : | 001.642/PRF Fortran for today & tomorrow / |
Bibliography: p. 466-490.
Includes index.
There are no comments for this item.