Temporal Logic in Specification (Lecture Notes in Computer Science)
Edición de la obra Temporal Logic in Specification
| Autor | Howard Barringer, Amir Pnueli |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 1, 2007 |
| Idioma | inglés |
| Páginas | 460 |
| Formato | Paperback |
| ISBN-13 | 9783540518037 |
| ISBN-10 | 3540518037 |
| Número de Cutter | B276t |