Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Computer Aided Verification
- 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Engelsk Paperback
Computer Aided Verification
- 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Engelsk Paperback

907 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog

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.

Product detaljer
Sprog:
Engelsk
Sider:
1015
ISBN-13:
9783642397981
Indbinding:
Paperback
Udgave:
ISBN-10:
3642397980
Udg. Dato:
14 jul 2013
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Oplagsdato:
14 jul 2013
Forfatter(e):
Vi anbefaler også
Kategori sammenhænge