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 |
There are no comments on this title.
Log in to your account to post a comment.