Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1

by Dov M. Gabbay and Mark A. Reynolds

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0198537697
• ISBN13: 9780198537694
• Release Date: August 1994
• Publisher: Clarendon Press
• Length: 672 Pages
• Weight: 2.68 lbs.