
Temporal Logic in Specification
- Undertittel
- Altrincham, UK, April 8-10, 1987, Proceedings
- Redaktør
- Behnam Banieqbal, Howard Barringer, Amir Pnueli
- Opplag
- 1989 ed.
- ISBN
- 9783540518037
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.10.1989
- Antall sider
- 452
