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

And/Or Programs: A New Approach to Structured Programming

โœ Scribed by Harel, David


Book ID
121531758
Publisher
Association for Computing Machinery
Year
1980
Tongue
English
Weight
1013 KB
Volume
2
Category
Article
ISSN
0164-0925

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A new approach to program verification
โœ Bhabani P. Sinha; Pradip K. Srimani ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 800 KB