Foundations of Real-time Computing
Andre M. Van Tilborg
- 12 oktober 2012
- 9781461367963
Samenvatting:
This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.
€ 145,-
Bestel bij Bol.com >