𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs

✍ Scribed by Sylvie Boldo; Claude Marché

Book ID
107508968
Publisher
Springer-Verlag
Year
2011
Tongue
English
Weight
785 KB
Volume
5
Category
Article
ISSN
1661-8270

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numerical Methods in Gas Dynamics. Edite
Numerical Methods in Gas Dynamics. Edited by G. S. R OSLYAKOV and L. A. C HUDOV . Translated by Z. Lerman. Israel Program for Scientific Translations, 1966. 165 pp. 83 s . Magnetohydrodynamic Stability and Thermonuclear Containment. Edited by A. J EFFREY and T. T ANIUTI . Academic Press, 1966. 222 pp. 60 s. The Theory of Jets in an Ideal Fluid. By M. I. G UREVICH . Pergamon Press, 1966. 409 pp. £5. Engineering Fluid Mechanics. By R EUBEN M. O LSON . 2nd edition. Inter-national Textbook Co., 1966. 448 pp. $9.95. Handbook of Specific Losses in Flow Systems. By R. P. B ENEDICT and N. A. C ARLUCCR . Plenum Publishing Corporation, 1966. 193 pp. $12.50. Proceedings of the 14th Japan National Congress for Applied Mechanics, Kyoto, 1964. Central Scientific Publishers, Tokyo, 1965. 294 pp. Proceedings of the 1966 Heat Transfer and Fluid Mechanics Institute. Edited by M. A. S ARD and J. A. M ILLER . Stanford University Press, 1966. 444 pp. £5. Studies in Fluid Dynamics. Published by the Tomotika Memorial Committee, Kyoto, 1966. 205 pp.
📂 Article 📅 1967 🏛 Cambridge University Press 🌐 English ⚖ 48 KB