๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Mechanized Reasoning and Hardware Design || Will Proof Replace Simulation? [and Discussion]

โœ Scribed by C. H. Pygott, C. A. R. Hoare, W. A. Hunt and M. Fourman


Book ID
123645628
Publisher
The Royal Society
Year
1992
Tongue
English
Weight
386 KB
Volume
339
Category
Article
ISSN
0264-3952

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES