Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)

★★★★★ 4.8 90 reviews

US$18.96

Price when purchased online

Free shipping Free 30-day returns

Sold and shipped by busybody.org.nz

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.

US$18.96

Price when purchased online

Free shipping Free 30-day returns

How do you want your item?

I want shipping & delivery savings with Walmart+✦

You get 30 days free! Choose a plan at checkout.

Shipping

Arrives Jul 4

Free

Pickup

Check nearby

Delivery

Not available

Sold and shipped by busybody.org.nz

Free 30-day returns Details

Product details

Management number	232087025	Release Date	2026/06/18	List Price	US$18.96	Model Number	232087025
Category	Books Computers & Technology Computer Science AI & Machine Learning Intelligence & Semantics

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. Read more

ISBN10	3319249525
ISBN13	978-3319249520
Edition	1st ed. 2015
Language	English
Publisher	Springer
Dimensions	6.1 x 1.21 x 9.25 inches
Item Weight	17.67 pounds
Print length	533 pages
Publication date	November 22, 2015

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Customer ratings & reviews

4.8 out of 5

★★★★★

90 ratings | 37 reviews

How item rating is calculated

View all reviews

5 stars

87% (78)

4 stars

2% (2)

3 stars

1% (1)

2 stars

0% (0)

1 star

10% (9)

Sort by

There are currently no written reviews for this product.

Order Amount	Shipping Fee	Handling Fee
Under $99	$12.99	$24.00
$99 - $499	FREE	$24.00
$500 and above	FREE	FREE

Diameter	12 feet (3.66m)
Height	30 inches (76cm)
Water Capacity	1,718 gallons (6,500L)
Weight (Empty)	42 lbs (19kg)

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)

Product details

Bestseller ranking

Intelligence & Semantics

Innovative Technologies and Learning: First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings (Information ... Applications, incl. Internet/Web, and HCI)

AI in Legal Tech: How Generative AI Is Transforming Legal Technology and the Practice of Law 1st Edition

The Ethical Philosophy of Autonomous Artificial Intelligence in Warfare: The Pentagon’s New Recruit: AI. The First Question—Should It Exist?

Algorithms and Complexity: 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings (Theoretical Computer Science and General Issues)

Nigerian Media's Artificial Intelligence Revolution: Transforming Communication Teaching and Practice (Routledge African Media, Culture and Communication Studies) 1st Edition

DNA Computing and Molecular Programming: 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings (Theoretical Computer Science and General Issues)

Customers who viewed this product also viewed

Comedy

Backs To The Land - Series 1 - Complete [DVD] [1977]

The Irish R.M. - Complete Series

The Fresh Prince Of Bel-Air: The Complete Fourth Season [DVD] [2007]

Love Thy Neighbour: Complete Series 6

The Jeffersons: The Complete Series [DVD]

Northern Exposure (Complete Series) - 26-DVD Box Set

Correction of product information

Customer ratings & reviews