✦ LIBER ✦
Heterogeneous agent systems: By V. S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Özcan, and Robert Ross. The MIT Press, Cambridge, MA. (2000). 580 pages. $60.00
- Book ID
- 104352337
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 65 KB
- Volume
- 41
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.
✦ Synopsis
BOOK REPORTS
- RTL verification: A floating-point multiplier (David M. Russinoff and Arthur Flatau). 14. Design verification of a safety-critical embedded verifier (Piergiorgio Bertoli and Paolo Traverso). 15. Compiler verification revisited (Wolfgang Goerigk). 16. Ivy: A preprocessor and proof checker for first-order logic (William McCune and Olga Shumsky). 17. Knuth's generalization of McCarthy's 91 function (John Cowles). 18. Continuity and differentiability. Bibliography. Index.