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

Support for ADA in database

Book ID
113139826
Publisher
Elsevier Science
Year
1986
Weight
303 KB
Volume
28
Category
Article
ISSN
0011-684X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Database support for solid modeling
Database support for solid modeling
โœ Xu Yu; Nobuo Ohbo; Takashi Masuda; Yuzuru Fujiwara ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Springer ๐ŸŒ English โš– 840 KB
[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable SoftwareTechnologies โ€” Ada-Europe 2001 Volume 2043 || Transaction Support for Ada
โœ Craeynest, Dirk; Strohmeier, Alfred ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 221 KB

Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Pete