Automated Technology for Verification and Analysis

Springer Berlin Heidelberg;
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Springer Berlin Heidelberg;
Book
CZK 1,633
Ebook
(DRM PDF)
CZK 1,862
Available online
Possible delivery delay description
Ready to download
CZK 1,862 with DPH
You save CZK 207 CZK 2,069 (-10%)
Add to basket
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
What is ebook?
Ebook description
EAN
9783642333866
ISBN
3642333869
Bindings
Ebook
Publisher
Springer Berlin Heidelberg
Language
Angličtina
country
Uruguay
editors
Chakraborty, Supratik; Mukund, Madhavan
series
Lecture Notes in Computer Science
PRODUCT UPDATE
Related titles