Siirry suoraan sisältöön
Temporal Logic in Specification
Tallenna

Temporal Logic in Specification

Alaotsikko
Altrincham, UK, April 8-10, 1987, Proceedings
Painos
1989 ed.
ISBN
9783540518037
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
11.10.1989
Sivumäärä
452