System level techniques for verification and synchronization after local design refinements
- Författare
- Tarvo Raudvere
- (Tarvo Raudvere.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Elektronik, dator- och programvarusystem, Kungliga Tekniska högskolan | 2007 | Sverige, Stockholm | xiv, 155 sidor. | 978-91-7178-677-7 |
| KTH | 2007 | Sverige, Stockholm | xiv, 155 |