Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.
カテゴリー:
年:
2013
版:
1
出版社:
Springer-Verlag Berlin Heidelberg
言語:
english
ページ:
1015
ISBN 10:
3642397999
ISBN 13:
9783642397998
シリーズ:
Lecture Notes in Computer Science 8044 : Theoretical Computer Science and General Issues
ファイル:
PDF, 20.75 MB
IPFS:
,
english, 2013
この書籍は、著作権所有者のクレームによりダウンロードできません。
Beware of he who would deny you access to information, for in his heart he dreams himself your master
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
