ISBN 0471958352 books & textbook

Formal Methods for Real-Time Computing

Heitmeyer, Constance Mandrioli, Dino

Wiley /1996-05-21 Paperback / 290 Pages
isbn-10: 0471958352 / isbn-13: 9780471958352