✦ LIBER ✦
Formal specification and verification of digital systems: G. Milne, McGraw-Hill, Maidenhead, UK, 1994, 240 pp., £29.95
✍ Scribed by L. Bottacci
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 80 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0026-2692
No coin nor oath required. For personal study only.