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

The formal specification of a small bookshop information system

โœ Scribed by Gray, D.


Book ID
117872106
Publisher
IEEE
Year
1988
Tongue
English
Weight
848 KB
Volume
14
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The formal specification of concurrent s
โœ IM Bradley ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 676 KB

Building complex, concurrent systems requires a large amount of care. Such systems often have many interactions between components. Some of the more obscure timing patterns can lead eventually to system failure. It is essential that any problems be identified as soon as possible in the life of a pro