×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Temporal Logic in Specification
     

Temporal Logic in Specification

by B. Banieqbal
 

ISBN-10: 0387518037

ISBN-13: 9780387518039

Pub. Date: 11/28/1989

Publisher: Springer-Verlag New York, LLC

Product Details

ISBN-13:
9780387518039
Publisher:
Springer-Verlag New York, LLC
Publication date:
11/28/1989
Series:
Lecture Notes in Computer Science
Pages:
448
Product dimensions:
9.21(w) x 6.14(h) x 0.53(d)

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews