Menu

Harry Hsieh

1 published title

Synchronous equivalence : formal methods for embedded systems

1 edition

  • ISBN: 079237262X
  • Kluwer Academic Publishers
  • 2001
  • Details

obnb.uk is a Good Stuff website.