Skip to main content
PBS logo
 
 

Search - Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16)

Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16)
Advances in Temporal Logic - APPLIED LOGIC SERIES Volume 16
Author: Howard Barringer, Michael Fisher, Graham Gough
Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification a...  more »
ISBN-13: 9780792361497
ISBN-10: 0792361490
Publication Date: 12/16/1999
Pages: 464
Edition: 1st
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.