Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Lecture Notes in Computer Science 7561 (Paperback)
  • Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Lecture Notes in Computer Science 7561 (Paperback)
zoom

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Lecture Notes in Computer Science 7561 (Paperback)

(editor), (editor)
£54.99
Paperback 438 Pages / Published: 16/08/2012
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your 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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642333859
Number of pages: 438
Weight: 688 g
Dimensions: 235 x 155 x 23 mm
Edition: 2012 ed.

You may also be interested in...

Impact Mapping
Added to basket
£9.99
Paperback
Git Pocket Guide
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
Clean Code
Added to basket
£36.99
Paperback
Coaching Agile Teams
Added to basket
Domain-Driven Design
Added to basket
£55.99
Hardback
Agile Product Management with Scrum
Added to basket
The Mythical Man-Month
Added to basket
Continuous Delivery
Added to basket
£43.99
Hardback
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Kanban
Added to basket
£33.55
Paperback
Peopleware
Added to basket
£32.99
Paperback
Designing Data-Intensive Applications
Added to basket
The Clean Coder
Added to basket
£32.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.