Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings - Brossura

Banieqbal, H.; Barringer, H.

 
9780387518039: Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings

Altre edizioni note dello stesso titolo

9783540518037: Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398

Edizione in evidenza

ISBN 10:  3540518037 ISBN 13:  9783540518037
Casa editrice: Springer, 2008
Brossura