Formal specification and verification of safety-critical software
- Författare
- Daniel Larsson
- (Daniel Larsson.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2006 | Sverige, Göteborg | viii, 74 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högskola | 2006 | Sverige, Göteborg | viii, 74 sidor. ill. |