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

Iterative methods of program analysis: Equalities and inequalities

โœ Scribed by A. B. Godlevskii; Yu. V. Kapitonova; S. L. Krivoi; A. A. Letichevskii


Publisher
Springer US
Year
1990
Tongue
English
Weight
962 KB
Volume
26
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES