
Taxonomies for the Development and Verification of Digital Systems
- Toimittaja
- Brian Bailey, Grant Martin, Thomas Anderson
- Painos
- 1st ed. Softcover of orig. ed. 2005
- ISBN
- 9781441936813
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.10.2010
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 180