Take a photo of a barcode or cover
Read With Others
Book Information
332 pages • hardcover • 1 edition
ISBN/UID: 9780367336530
Format: Hardcover
Language: English
Publisher: Routledge
Edition Pub Date: 04 Mar 2020
Description
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. The techni...
Community Reviews
Content Warnings
332 pages • hardcover
ISBN/UID: 9780367336530
Format: Hardcover
Language: English
Publisher: Routledge
Edition Pub Date: 04 Mar 2020
Description
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. The techni...
Community Reviews
Content Warnings