Temporal Logic of Programs
Edición de la obra Temporal Logic of Programs
| Autor | Fred Kröger |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 1987 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] / |
| ISBN-13 | 9783642715495 |
| ISBN-10 | 3642715494 |
| OCLC | 840294780 |
| Serie | EATCS Monographs on Theoretical Computer Science, 1431-2654 -- 8 · EATCS monographs on theoretical computer science -- 8. |
| Número de Cutter |