Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers
著者
書誌事項
Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers
(Lecture notes in computer science, 13124 . LNCS sublibrary ; SL 2 . Programming and software engineering)
Springer, c2022
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Other editors: Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
Includes bibliographical references and author index
"This volume contains the papers presented at the 13th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2021), held virtually during October 18–19, 2021."--VSTTE 2021 Pref
"This volume contains the contributed papers presented at the 14th International Workshop on Numerical Software Verification (NSV 2021), which was held virtually during July 18–19, 2021."-- NSV 2021 Pref
内容説明・目次
内容説明
目次
「Nielsen BookData」 より