Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
. Ed(S): Cassez, Franck; Raskin, Jean-Francois
€ 65.48
FREE Delivery in Ireland
Description for Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
paperback. Editor(s): Cassez, Franck; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 454 pages, 109 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer Switzerland
Number of pages
454
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
ISBN
9783319119359
SKU
V9783319119359
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings