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

Temporal Logic in Specification

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

(Author) (Author) (Author)
paperback
Published: 11 October, 1989
Standard worldwide delivery by Mon, July 6 - Wed, July 15
Order within 0
Condition: NEW
$61.03
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Howard Barringer

View All Books by Howard Barringer
Advances in Temporal Logic
Advances in Temporal Logic
Howard Barringer
$190.61
New
Add to basket
A Survey of Verification Techniques for Parallel Programs
A Survey of Verification Techniques for Parallel Programs
Howard Barringer
$52.43
New
Add to basket
Advances in Temporal Logic
Advances in Temporal Logic
Howard Barringer
$189.36
New
Add to basket

More Details

Type Book
ISBN13 9783540518037
ISBN10 3540518037
Number Of Pages 452
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 1989 ed.
See More +