Temporal Logic in Specification (Lecture Notes in Computer Science)
by Howard Barringer, Amir Pnueli
2007460 pages
Springer·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Temporal Logic in Specification (Lecture Notes in Computer Science) (2007)
Temporal Logic in Specification (Lecture Notes in Computer Science) (2007)
Springer
Springer
Paperback
ISBN 10: 3540518037
ISBN 13: 9783540518037