Temporal logic for real-time systems

Main
Computers - Databases
Temporal logic for real-time systems

Temporal logic for real-time systems

Name: Temporal logic for real-time systems
ISBN: 9780471924029

Ostroff J.S.

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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

Κατηγορίες:

Computers - Databases

Έτος:

1989

Εκδότης:

Wiley

Γλώσσα:

english

Σελίδες:

224

ISBN 10:

0471924024