𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicate transformer semantics: Ernest G. Manes, (Cambridge University Press, Cambridge, 1993), ISBN 0-521-42036-9

✍ Scribed by David Schmidt


Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
237 KB
Volume
24
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A. Libai, J.G. Simmonds. The Nonlinear T
✍ Y. Başar; W.B. KrΓ€tzig πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 14 KB

ISBN 0 521 47236 9 hardback) Shell structures or briefly shells are classical geometric approximations of three-dimensional solids in engineering science. There are countless applications of shells in modern technologies, but also nature during its evolution has early discovered a large variety of a