2000
6 references published this year.
Architecture of the IBM System/360
Gene M. Amdahl et al. (2000) · IBM Journal of Research and Development
Proving pointer programs in Hoare logic
Richard Bornat (2000) · 5th International Conference on Mathematics of Program Construction (MPC)
Ein dynamisches automatisierbares interaktives Kalkül für schematische theorie spezifische Regeln
Elmar Habermalz (2000)
Intuitionistic Reasoning about Shared Mutable Data Structure
John C. Reynolds (2000) · Millennial Perspectives in Computer Science
Basic Proof Theory
Anne Sjerp Troelstra et al. (2000)
Design As The Discovery Of A Mathematical Theorem What Designers Should Know About The Art Of Mathematics
Hanno Wupper (2000) · Journal of Integrated Design and Process Science