Foundations of Real-time Computing
Andre M. Van Tilborg
- 22 december 2012
- 9781461367666
Samenvatting:
A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems.
€ 136,99
Bestel bij Bol.com >