Concise Guide to Software Verification. - From Model Checking to Annotation Checking
- Författare
- Marieke Huisman
- (Marieke Huisman and Anton Wijs.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Nature Switzerland AG | 2023 | Schweiz, Cham, Switzerland | 1 online resource (IX, 248 sidor. 146 illus., 127 illus. in color.) |