Introduction to the Formal Design of Real Time Systems (Applied Computing)

The Formal Semantics of Programming Languages: An Introduction (Foundations Computing)

An Introduction to Real Time Computing for Mechanical Engineers: A Lab Based Approach

EMBEDDED SYSTEMS and REAL TIME COMPUTING: Microcontroller design timing constraints hardware software integration

Metaphysics of quantum information: Applied to computing