Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science 6996 (Paperback)
  • Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science 6996 (Paperback)
zoom

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science 6996 (Paperback)

(editor), (editor)
£72.00
Paperback 532 Pages / Published: 21/09/2011
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.
The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642243714
Number of pages: 532
Weight: 764 g
Dimensions: 235 x 155 x 30 mm

You may also be interested in...

Kanban
Added to basket
£33.55
Paperback
The Clean Coder
Added to basket
£32.99
Paperback
Agile Product Management with Scrum
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
The Agile Samurai
Added to basket
Domain-Driven Design
Added to basket
£55.99
Hardback
Writing Effective Use Cases
Added to basket
Designing Data-Intensive Applications
Added to basket
Seven Languages in Seven Weeks
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Test Driven Development
Added to basket
Enterprise Cloud Computing
Added to basket
Clean Code
Added to basket
£36.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.