𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Multilevel structured program designs and correctness proving

✍ Scribed by G. E. Tseitlin; A. V. Bakulin


Publisher
Springer US
Year
1992
Tongue
English
Weight
675 KB
Volume
27
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES