Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefu...

詳細記述

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Dillig, Isil (編集者), Tasiran, Serdar (編集者)
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	Cham : Springer International Publishing : Imprint: Springer, 2019.
版:	1st ed. 2019.
シリーズ:	Theoretical Computer Science and General Issues, 11561
主題:	Software engineering. Compilers (Computer programs). Computer science. Artificial intelligence. Computer simulation. Computer engineering. Computer networks . Software Engineering. Compilers and Interpreters. Theory of Computation. Artificial Intelligence. Computer Modelling. Computer Engineering and Networks.
オンライン･アクセス:	Link to Metadata
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

このレコードへの初めてのコメントを付けませんか!

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

類似資料