Real-Time Systems: Specification, Verification and Analysis
Series:
This text provides an account of real-time systems. The presentation makes use of recent research demonstrating the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique, and examples help reinforce the theory.
NaN
VOLUME
English
Paperback
This text provides an account of real-time systems. The presentation makes use of recent research demonstrating the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique, and examples help reinforce the theory.
Price Comparison [India]
In This Series
Bestseller Manga
Trending NEWS