Error title
Some error text about your books and stuff.
Close

Foundations of Real-Time Computing Formal Specifications and Methods

by Andre M. Van Tilborg

Foundations of Real-Time Computing Formal Specifications and Methods cover
  • ISBN: 9780792391678
  • ISBN10: 0792391675

Foundations of Real-Time Computing Formal Specifications and Methods

by Andre M. Van Tilborg

  • List Price: $199.99
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 06/01/1991
  • ISBN: 9780792391678
  • ISBN10: 0792391675
new Add to Cart $177.09
You save: 11%
FREE economy shipping!
Description: 1 Towards Mechanization of Real-Time System Design.- 2 Derivation of Sequential, Real-Time, Process Control Programs.- 3 Mathematical Models of Real-Time Scheduling.- 4 Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation.- 5 Theory of Real-Time Systems - Project Survey.- 6 HMS Machines: A Unified Framework for Specification, Verification and Reasoning for Real-Time Systems.- 7 Concepts and Models for Real-Time Concurrency.- 8 Automated Analysis of Concurrent and Real-Time Software.- 9 Towards a Timing Semantics for Programming Languages.- 10 FLEX: A Language for Programming Flexible Real-Time Systems.- 11 Requirements Specification of Hard Real-Time Systems: Experience with a Language and a Verifier.
Expand description
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).