Interactive Systems. Design Specification, and Verification

Verification

Taschenbuch

ISBN: 978-3-540-82384-1

ISBN-10: 3-540-82384-0

(978-3-540)