Computer Aided Verification

Computer

Taschenbuch

ISBN: 978-3-540-82782-5

ISBN-10: 3-540-82782-X

(978-3-540)