Skip to main content alibris logo

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

by , ,

Write The First Customer Review
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings - Banieqbal, Behnam (Editor), and Barringer, Howard (Editor), and Pnueli, Amir (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
loading
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings 1989, Springer, Berlin, Heidelberg

ISBN-13: 9783540518037

1989 edition

Trade paperback