The Foundations of Program Verification
Edición de la obra The Foundations of Program Verification
| Autor | Jacques Loeckx, Kurt Sieber, Ryan Stansifer |
|---|---|
| Editorial | Vieweg+Teubner Verlag |
| Fecha de publicación | 1987 |
| Lugar | Wiesbaden |
| Idioma | alemán |
| Formato | Elektronische Ressource |
| ISBN-13 | 9783322967534 |
| ISBN-10 | 3322967530 |
| OCLC | 860184366 |