表紙画像

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

他のバージョン（2件）を表示する

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Enea, Constantin (編集者), Lal, Akash (編集者)
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
版:	1st ed. 2023.
シリーズ:	Lecture Notes in Computer Science, 13965
主題:	Software engineering. Artificial intelligence. Algorithms. Computer engineering. Computer networks . Software Engineering. Artificial Intelligence. Design and Analysis of Algorithms. Computer Engineering and Networks.
オンライン･アクセス:	Link to Metadata
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
要約:	The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
物理的記述:	XVI, 460 p. 388 illus., 76 illus. in color. online resource.
ISBN:	9783031377037
ISSN:	1611-3349 ;
DOI:	10.1007/978-3-031-37703-7
アクセス:	Open Access