Recomienda este artículo a tus amigos:
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings - Lecture Notes in Computer Science Behnam Banieqbal 1989 edition
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings - Lecture Notes in Computer Science
Behnam Banieqbal
452 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 11 de octubre de 1989 |
| ISBN13 | 9783540518037 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 452 |
| Dimensiones | 155 × 235 × 23 mm · 639 g |
| Lengua | Alemán |
| Editor | Banieqbal, Behnam |
| Editor | Barringer, Howard |
| Editor | Pnueli, Amir |