Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1989. gada 11. oktobris |
| ISBN13 | 9783540518037 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 452 |
| Izmēri | 155 × 235 × 23 mm · 639 g |
| Valoda | Vācu |
| Redaktors | Banieqbal, Behnam |
| Redaktors | Barringer, Howard |
| Redaktors | Pnueli, Amir |