
Formal Equivalence Checking and Design Debugging
- Kirjailija
- Shi-Yu Huang
- Painos
- Softcover reprint of the original 1st ed. 1998
- ISBN
- 9781461376064
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.9.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 229