QED at Large
A Survey of Engineering of Formally Verified Software
Edición de la obra QED at Large
| Autor | Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock |
|---|---|
| Editorial | Now Publishers |
| Fecha de publicación | 2019 |
| Idioma | inglés |
| ISBN-13 | 9781680835946 |
| Número de Cutter | R581q |