Applied formal verification
Finna-arvio
Applied formal verification
Tallennettuna:
| Ulkoasu |
xiv, 237 sivua : ill. ; 24 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
New York :
McGraw-Hill,
2005.
|
| Sarja | McGraw-Hill electronic engineering series |
| Aiheet | |
| Lisätiedot | Douglas L. Perry, Harry D. Foster |
| ISBN |
0-07-144372-X |