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 |