Ten Thousand and One Logics of Programming
Name
MIT-LCS-TM-150.pdf
Size
4.06 MB
Format
Adobe PDF
Checksum (MD5)
5ccffe6d8f1978eb8a5b5a43f983f289
Author(s)
Meyer, Albert R.
Date Issued
February 1980
Series/Report no.
MIT-LCS-TM-150
Persistent DSpace Link