Temporal Verification of Reactive Systems by Zohar Manna & Amir Pnueli

Safety

Temporal Verification of Reactive Systems
Author(s) : Zohar Manna Format : Hardback Book
ISBN-10 : 0387944591 ISBN-13 : 9780387944593
RRP : £61.50 Best available price : £ / $
Prices as of : BST check live prices   
store stock level item price inc. delivery
AbeBooksUK

Not available

 

 

Amazon

Not available

 

 

BiblioUK

Not available

 

 

Blackwells

Not available

 

 

BookFellas

Not available

 

 

HMV

Not available

 

 

Play

Not available

 

 

TheHut

Not available

 

 

Waterstones

Not available

 

 

WHSmiths

Not available

 

 

AmazonUS

Not available

 

 

Delivery prices - shown in this table - are for the cost of a domestic delivery, as given by the company.

Product Details:

Country Publication : United States

Publication Date : 01/08/1995

Publisher : Springer-Verlag New York Inc.

Page Length : XVIII, 512mm

Page Size : 216mm