Automated Technology for Verification and Analysis > Editions

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science Book 8172)

Published August 30th 2013 by Springer

Kindle Edition

more details

[(Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings )] [Author: Dang Van Hung] [Sep-2013]

Published by Springer International Publishing AG

Unknown Binding, 0 pages

more details

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Paperback)

Published November 27th 2013 by Springer

Paperback, 544 pages

more details

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Programming and Software Engineering)

Published September 11th 2013 by Springer

2013, Paperback, 542 pages

more details