ISBN 9783540761402 books & textbook

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

Springer /1998-11-01 Paperback / 474 Pages
isbn-10: 3540761403 / isbn-13: 9783540761402