ENGLISH

Temporal logic for real-time systems

By Ostroff J.S.

Book information

Publisher
Wiley
Year
1989
ISBN
0471924024, 9780471924029
LCC
QA76.54 .O84 1989
Open Library ID
OL2186011M
Language
english
Format
DJVU
Filesize
2 MB (1694112 bytes)
Series
Advanced Software Development Series
Pages
224\224
Library
Kolxo3
DPI
600
Time added
2011-07-22 07:35:22

Description

Presents a large number of recent research results previously unavailable in book form. Initially deals with the wee-known computation models, and goes on to special types of circuits, parallel computers, and branching programs. Includes basic theory as well recent research findings. Each chapter includes exercises

Similar books