Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Computer Aided Verification
CHF 116.75
Auf Lager
SKU
IM2D3VF0HG4
1 Verfügbar 
Geliefert zwischen Mi., 15.04.2026 und Do., 16.04.2026
Details
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.
The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Includes supplementary material: sn.pub/extras
Inhalt
Data Driven Techniques.- Runtime Verication.- Cyber-Physical Systems.- Concurrency.- Analysis of Software and Hardware.- Foundations of Verification.- Distributed and Networked Systems.- Synthesis.- Decision Procedures and their Applications.- Software Analysis.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319633862
- Genre Information Technology
- Auflage 1st ed. 2017
- Editor Rupak Majumdar, Viktor Kuncak
- Lesemotiv Verstehen
- Anzahl Seiten 601
- Größe H35mm x B158mm x T237mm
- Jahr 2017
- EAN 9783319633862
- Format Kartonierter Einband
- ISBN 978-3-319-63386-2
- Titel Computer Aided Verification
- Untertitel 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
- Gewicht 961g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
