For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
The Temporal Logic of Reactive and Concurrent Systems
The Temporal Logic of Reactive and Concurrent Systems
(
)
Author:
Manna, Zohar
Pnueli, A.
ISBN:
978-3-540-97664-6
Publication Date:
Jan 1991
Publisher:
Springer
Book Format:
Hardback
List Price:
Contact Supplier contact
Book Description:
Buy Now
Book Details
Pages:
441
Detailed Subjects:
Science / Chemistry / General
Book Weight:
0.82 Kilograms
Featured Books
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.