Provably Correct Systems (NASA Monographs in Systems and Software Engineering)

Monographs

von: Mike Hinchey · Jonathan P. Bowen · Ernst-Rüdiger Olderog

Taschenbuch

ISBN-13: 978-3-319-83980-6

ISBN-10: 3-319-83980-2

Springer · 2018

Siehe auch:
2017Gebundene AusgabeProvably Correct Systems (NASA Monographs in Systems and Software Engineering)