Time for Verification
Essays in Memory of Amir Pnueli
Edición de la obra Time for Verification
| Autor | Zohar Manna, Doron A. Peled |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| Páginas | 413 |
| ISBN-13 | 9783642137549 |
| Número de Cutter | M282t |