.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Technology for Verification and Analysis
. Ed(S): Mukund, Madhavan; Chakraborty, Supratik
€ 68.53
FREE Delivery in Ireland
Description for Automated Technology for Verification and Analysis
Paperback. 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. Editor(s): Mukund, Madhavan; Chakraborty, Supratik. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 452 pages, 106 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 630.
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.
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.
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
452
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
438
Place of Publication
Berlin, Germany
ISBN
9783642333859
SKU
V9783642333859
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Technology for Verification and Analysis