Synchronous Equivalence
Formal Methods for Embedded Systems
Edición de la obra Synchronous equivalence
| Autor | Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
|---|---|
| Editorial | Springer |
| Fecha de publicación | January 15, 2001 |
| Idioma | inglés |
| Páginas | 136 |
| Formato | Hardcover |
| ISBN-13 | 9780792372622 |
| ISBN-10 | 079237262X |
| OCLC | 45209115 |