978-3-540-97664-6 / 9783540976646

The Temporal Logic of Reactive and Concurrent Systems Specification


Publisher:Springer-Verlag Berlin and Heidelberg GmbH & Co. K



Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.

Search under way...

Search complete.

Click on the price to find out more about a book.

Used books: 1 - 11 of 11