Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering - Franck Cassez - Books - Springer International Publishing AG - 9783319119359 - September 29, 2014
In case cover and title do not match, the title is correct

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering 2014 edition

Franck Cassez

Price
¥ 8,295
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 6 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering 2014 edition

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions.

430 pages, 109 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 29, 2014
ISBN13 9783319119359
Publishers Springer International Publishing AG
Pages 430
Dimensions 155 × 235 × 23 mm   ·   635 g
Language French  
Editor Cassez, Franck
Editor Raskin, Jean-Francois
Show all

More by Franck Cassez

See all of Franck Cassez ( e.g. Paperback Book )