Computer Aided Verification (30th International Conference)
Hana Chockler, Georg WeissenbacherТом:
Part I
Рік:
2018
Видавництво:
Springer
Мова:
english
ISBN 10:
3319961454
ISBN 13:
9783319961453
Серії:
Lecture Notes in Computer Science, 10981
Файл:
PDF, 31.34 MB
IPFS:
,
english, 2018