The little prover / / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
Saved in:
VerfasserIn: | |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Cambridge, Massachusetts ;, London, [England] : : The MIT Press,, 2015. 2015 |
Year of Publication: | 2015 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (244 pages) :; illustrations |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Bibliography: | Includes bibliographical references and index. |
---|---|
ISBN: | 9780262527958 9780262330565 |
Hierarchical level: | Monograph |
Statement of Responsibility: | Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen. |