Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science) - Softcover

Banieqbal, H.; Barringer, H.

 
9780387518039: Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings (Lecture Notes in Computer Science)

Weitere beliebte Ausgaben desselben Titels

9783540518037: Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3540518037 ISBN 13:  9783540518037
Verlag: Springer, 2008
Softcover