Provably Correct Systems / edited by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: NASA Monographs in Systems and Software Engineering | SpringerLink Bücher | Springer eBook Collection Computer ScienceVerlag: Cham : Springer, 2017Beschreibung: Online-Ressource (XVIII, 328 p. 84 illus., 48 illus. in color, online resource)ISBN:- 9783319486284
- QA8.9-QA10.3
Dieser Titel hat keine Exemplare