Introduction to the formal design of real-time systems

Författare
David Gray
(David Gray.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer-Verlag c1999 Storbritannien, London xiii,461p ill 24cm