Formal System Verification: State-of the-Art and Future Trends

Drechsler

von Rolf Drechsler

Taschenbuch

ISBN: 978-3-319-86223-1

ISBN-10: 3-319-86223-5

Springer · 2018

Siehe auch:
2017Gebundene AusgabeFormal System Verification: State-of the-Art and Future Trends