Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II - Lecture Notes in Computer Science - Alexandra Silva-K. Rustan M. Leino - 書籍 - Springer Nature Switzerland AG - 9783030816872 - 2021年7月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Alexandra Silva-K. Rustan M. Leino
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II - Lecture Notes in Computer Science 1st ed. 2021 edition

価格
¥ 6.887
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月19日 - 年12月1日
クリスマスプレゼントは1月31日まで返品可能です
Alexandra Silva-K. Rustan M. Leino の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.

940 pages, 234 Illustrations, color; 148 Illustrations, black and white; XXIII, 940 p. 382 illus., 2

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2021年7月17日
ISBN13 9783030816872
出版社 Springer Nature Switzerland AG
ページ数 940
寸法 234 × 157 × 53 mm   ·   1,44 kg
言語 ドイツ語  
編集者 Leino, K. Rustan M.
編集者 Silva, Alexandra

同じ出版社からのその他の記事

Alexandra Silva-K. Rustan M. Leinoのすべてを見る