Image from Amazon.com
A mathematical theory of program correctness / J. W. de Bakker.
Publication details: Englewood Cliffs, N. J. : Prentice-Hall International, 1980.Description: 505 p. ; 24 cmISBN:- 0135621321
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | QA76.6.B335 (Browse shelf(Opens below)) | 1 | Available | 00000058338 |
Includes index.
Bibliography : p. 446-490.
1.
There are no comments on this title.
Log in to your account to post a comment.