Time & Logic: A Computational Approach

By Leonard Bolc

Book Overview

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.

• Format: Paperback
• Language: English
• ISBN: 036733657X
• ISBN13: 9780367336578
• Release Date: September 2021
• Publisher: Routledge
• Length: 338 Pages
• Weight: 1.04 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"