
Temporal Logic in Specification
- Alaotsikko
- Altrincham, UK, April 8-10, 1987, Proceedings
- Toimittaja
- Behnam Banieqbal, Howard Barringer, Amir Pnueli
- Painos
- 1989 ed.
- ISBN
- 9783540518037
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.10.1989
- Sivumäärä
- 452