Temporal Logic of Reactive and Concurrent Systems by Zohar Manna & Amir Pnueli

Specification

Temporal Logic of Reactive and Concurrent Systems
Author(s) : Zohar Manna Format : Hardback Book
ISBN-10 : 0387976647 ISBN-13 : 9780387976648
RRP : £33.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 : Netherlands

Publication Date : 18/12/1991

Publisher : Kluwer Academic Publishers Group

Page Length : 448mm

Page Size : 234mm