日本のストアです。

日本のストアは日本在住者向けストアのためアメリカ合衆国からはご利用になれません。アメリカ合衆国のストアをご利用ください。

別のストアを選択するアメリカ合衆国のストアへ移動するアメリカ合衆国のストアへ移動する別のストアを選択する

Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II 電子ブック著

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Alexandra Silva,K. Rustan M. Leino

Springer Nature Proceedings Computer Science

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783030816889
発売日　2021年7月16日
出版社：Springer International Publishing

出版社： Springer
ファイル形式　EPUB3
サイズ　74.55 MB
ダウンロードオプション:EPUB3 (Adobe DRM)

シリーズの内容

Logic, Language, Information, and Computation - 電子ブック Alexandra Silva,Renata Wassermann,Ruy de Queiroz 著

Logic, Language, Information, and Computation

Alexandra Silva,Renata Wassermann,Ruy de Queiroz

Language, Logic, and Computation - 電子ブック Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach 著

Language, Logic, and Computation

Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach

Computer Aided Verification - 電子ブック Alexandra Silva,K. Rustan M. Leino 著

Computer Aided Verification

Alexandra Silva,K. Rustan M. Leino