Provably Correct Systems
NASA Monographs in Systems and Software Engineering
Hinchey, Mike (EDT)
Bowen, Jonathan P. (EDT)
Olderog, Ernst-Rüdiger (EDT)
- 出版社：Springer International Publishing Ag
- 出版年月：2018年 05月
- ISBN：9783319839806
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：328 p.
- DDC分類：005.1015113