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: 1980| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University of Sargodha-Central Library | 001.642/BAM (Browse shelf) | Available | 36353 |
Bibliography: p. 466-490.
Includes index.
There are no comments for this item.