Module property verification - a method to plan and perform verifications in modular architectures
- Författare
- Patrik Kenger
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2006 | Sverige, Stockholm | x, 252 sidor. : ill., diagr., tab. (vissa i färg) | ||
| KTH | 2006 | Sverige, Stockholm | x, 252 sidor. | |