Using mappings to prove timing properties /
Main Author: | |
---|---|
Corporate Author: | |
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Cambridge, Mass. :
Laboratory for Computer Science, Massachusetts Institute of Technology,
1992
|
Series: | MIT/LCS/TM ;
412 |
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.412e |
---|