Synchronous equivalence - formal methods for embedded systems
- Författare
- Harry Hsieh
- (Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Publishers | cop. 2001 | Storbritannien, Boston, Mass, London | x, 136 sidor. : ill. 25 cm. | 0-7923-7262-X |