Annual Member
| Author | Bakker, J. W. de (Jacobus Willem de) |
|---|---|
| Title | Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker |
| Imprint | Englewood Cliffs, N.J. : Prentice-Hall International, c1980 |
| Descript | xvi, 505 p |
| LOCATION | CALL# | STATUS |
|---|---|---|
| Engineering Library | QA76.6 B335 | CHECK SHELVES |
Office of Academic Resources
Chulalongkorn University
254 Phayathai Road, Pathumwan, Bangkok 10330 Thailand
Library Service 0-2218-2929, 0-2218-2927
Administrative Division 0-2218-2903
Fax. 0-2215-3617
Email 