The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

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

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

by Amir Pnueli (Editor), Behnam Banieqbal (Editor), HowardBarringer (Editor)

$94.59

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 448
 Publisher: Springer
Published: 11 Oct 1989
ISBN 10: 3540518037
ISBN 13: 9783540518037
Book Overview: Springer Book Archives