Image from Amazon.com
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
Series: Texts and monographs in computer sciencePublication details: New York : Springer-Verlag, 1990.Description: 220 p. ; 24 cmISBN:- 0387969578
| Item type | Current library | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | Q9.35.D55 (Browse shelf(Opens below)) | Available | 00000271535 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
|
|
|
||
| Q77.W493 2001 White paper on science and technology / | Q77.W493 2002 White paper on science and technology / | Q787.C6B4 Semiconductor detectors / | Q9.35.D55 Predicate calculus and program semantics / | Q9.7.O88 Bounded variable logics and counting : a study in finite models / | Q125.W36 Ringkasan Sejarah Sains / | Q125 .W36 Ringkasan Sejarah Sains / |
There are no comments on this title.
Log in to your account to post a comment.