𝔖 Bobbio Scriptorium

✦ LIBER ✦

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review]

Book ID: 114574930
Publisher: IEEE
Year: 2002
Tongue: English
Weight: 213 KB
Volume: 35
Category: Article
ISSN: 0018-9162
DOI: 10.1109/mc.2002.1033032

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software and hardware tools for the deve

Software and hardware tools for the development of dialogue interfaces for medical computer systems

✍ A. V. Makarov; D. A. Bakhtin 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 730 KB

[IEEE Comput. Soc. Press CompEuro 1992 C

[IEEE Comput. Soc. Press CompEuro 1992 Computer Systems and Software Engineering - The Hague, Netherlands (4-8 May 1992)] CompEuro 1992 Proceedings Computer Systems and Software Engineering - A method for hardware software partitioning

✍ Barros, E.; Rosenstiel, W. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 483 KB

Book review: Recursive Estimation and Co

Book review: Recursive Estimation and Control for Stochastic Systems

✍ Davis, M.H.A. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 251 KB

[Institute of Electrical and Electronics

[Institute of Electrical and Electronics Engineers 1987 5th International Symposium on Unmanned Untethered Submersible Technology - Durham, NH, USA (June 1987)] Proceedings of the 1987 5th International Symposium on Unmanned Untethered Submersible Technology - Hardware and software architectures for realizing a knowledge based system on eave

✍ Shevenell, M. 📂 Article 📅 1987 🏛 Institute of Electrical and Electronics Engineers ⚖ 865 KB

Review of The Ostrich Communal Nesting S

Review of The Ostrich Communal Nesting System, by Brian C. R. Bertram; The Evolution of Lateral Asymmetries, Language, Tool Use, and Intellect, by John Bradshaw & Lesley Rogers and Resource Selection by Animals. Statiscal Design and Analysis for Field Studies, by Bryan Manly Lyman McDonald & Dana Thomas

✍ Jonathan Wright; Richard Andrew 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 307 KB