Temporal Logic in Specification - Altrincham 1987 / Lecture Notes in Computer Science # 389
Boscarol / Aiello / Levi (Eds.)
Sold by Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
AbeBooks Seller since August 20, 2015
Used - Soft cover
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basket