Concise Guide to Software Verification
From Model Checking to Annotation Checking
Edición de la obra Concise Guide to Software Verification
| Autor | Marieke Huisman, Anton Wijs |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031301667 |
| Número de Cutter | H899c |