Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.
Material type: TextSeries: Prentice-Hall International series in computer sciencePublication details: Englewood Cliffs, N.J. : Prentice-Hall International, c1980.Description: xvi, 505 p. ; 24 cmISBN:- 0135621321 :
- 001.64/25
- QA76.6 .B335
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | University of Sargodha-Central Library | 001.642/BAM (Browse shelf(Opens below)) | Available | 36353 |
Browsing University of Sargodha-Central Library shelves Close shelf browser (Hides 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 on this title.
Log in to your account to post a comment.