Formal Verification of Control System Software - 9780691181301

ISBN-13: 9780691181301, 978-0691181301.

eBay