CSL-82-3_Some_Notes_on_Putting_Formal_Specifications_to_Productive_Use_198206.pdf

./bitsavers/pdf/xerox/parc/techReports/CSL-82-3_Some_Notes_on_Putting_Formal_Specifications_to_Productive_Use_198206.pdf
Download Torrent Open Magnet Link
File Details
Size 2.04 MB
RegionWorld
Hashes
CRC32f296d83d
MD5b276475f68f755f7d00ee7e5ab83767c
SHA-13a2e4b5a4840072af06067d3acc94ffd462f31db
SHA-25662b6d03443ac776e2aa5a04ae6924b9f263e763508ee440f9fd271a5407212ff