Specifying the semantics of WHILE-programs : a tutorial and critique of a paper by Hoare and Lauer /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Massachusetts Institute of Technology, Laboratory for Computer Science,
1979
|
| Series: | MIT/LCS/TM ;
130 |
| Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Massachusetts Institute of Technology
| Call Number: |
QA76.M41.P965 no.130 |
|---|