✦ LIBER ✦
[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1522 || Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem
✍ Scribed by Gopalakrishnan, Ganesh; Windley, Phillip
- Book ID
- 115534599
- Publisher
- Springer Berlin Heidelberg
- Year
- 1998
- Weight
- 434 KB
- Category
- Article
- ISBN
- 3540651918
No coin nor oath required. For personal study only.