✦ LIBER ✦

Axiomatic system for proving the properties of simple multimodule programs

✍ Scribed by K. K. Gyachas

Book ID: 105063910
Publisher: Springer US
Year: 1988
Tongue: English
Weight: 804 KB
Volume: 24
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01082606

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The disjunction and existence properties

The disjunction and existence properties for axiomatic systems of truth

✍ Harvey Friedman; Michael Sheard 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 667 KB

Axiomatic system for program correctness

Axiomatic system for program correctness verification with respect to the structure of objects

✍ L. V. Chernobrod 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 978 KB

Simple program for the estimation of sca

Simple program for the estimation of scaling potential in RO systems

✍ M. Al-Shammiri; A. Salman; S. Al-Shammari; M. Ahmad 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 238 KB

Oxygen-Carrying Properties of a Simple S

Oxygen-Carrying Properties of a Simple Synthetic System

✍ Vaska, L. 📂 Article 📅 1963 🏛 American Association for the Advancement of Scienc 🌐 English ⚖ 405 KB

A Modular Program System for the Calcula

A Modular Program System for the Calculation of Thermodynamic Properties of Fluids

✍ U. K. Deiters 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB 👁 2 views

more inert, large glass spheres should be underestimated. However, as shown in Fig. , this is not the case. Thus, even under these conditions, the determination seems to be representative. As a consequence, it is possible to investigate the shape of the distribution in the detectable range. In the

Simple functions for fast calculations o

Simple functions for fast calculations of selected thermodynamic properties of the ammonia-water system

✍ J Pátek; J Klomfar 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 619 KB