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

Monographs

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

Gebunden

ISBN: 978-3-319-48627-7

ISBN-10: 3-319-48627-6

Springer · 2017

Siehe auch:
2018TaschenbuchProvably Correct Systems (NASA Monographs in Systems and Software Engineering)