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!
|
Similar Items
-
Provenance : : an introduction to PROV / / Luc Moreau, University of Southampton, Paul Groth, VU University of Amsterdam.
by: Moreau, Luc.
Published: ([2013]) -
Electric Dreams : : Computers in American Culture / / Ted Friedman.
by: Friedman, Ted,
Published: ([2005]) -
Software clones : : guilty until proven innocent? / / Jan Harder.
by: Harder, Jan,
Published: ([2017]) -
Electric dreams : : computers in American culture / / Ted Friedman.
by: Friedman, Ted,
Published: ([2005]) -
Windows admin scripting little black book / by Jesse M. Torres.
by: Torres, Jesse M.
Published: (2001.)