Hero image 0 of Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback), 0 of 1

Rupak Majumdar

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback)

(No ratings yet)

Key item features

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback)
Author: Springer
ISBN: 9783319633862
Format: Paperback
Publication Date: 2017-07-13
Page Count: 601

Specs

Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
20170713
Pages
601
Subgenre
Programming

Current price is $54.99

Price when purchased online

Free shipping
Free 90-day returns

How do you want your item?

I want delivery savings with

Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.

How do you want your item?

Columbus, 43215

Arrives by Tue, Apr 7

Sold and shipped by Walmart.com

Free 90-day returns

This item is gift eligible

More seller options (1)

Starting from $54.99

Get free delivery, shipping and more*

*Restrictions apply

About this item

Product details

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.

The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.

The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback)
Author: Springer
ISBN: 9783319633862
Format: Paperback
Publication Date: 2017-07-13
Page Count: 601

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Paperback

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Pub date

20170713

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.

Similar items you might like

Based on what customers bought

Provable Security: 9th International Conference, Provsec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings, (Paperback) $54.99
current price $54.99
Provable Security: 9th International Conference, Provsec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings, (Paperback)
Algorithmic Learning Theory: 13th International Conference, Alt 2002, LÃ¼beck, Germany, November 24-26, 2002, Proceedings, (Paperback) $54.99
current price $54.99
Algorithmic Learning Theory: 13th International Conference, Alt 2002, LÃ¼beck, Germany, November 24-26, 2002, Proceedings, (Paperback)
Lecture Notes in Computer Science Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings, Book 939, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings, Book 939, (Paperback)
Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback)
Mathematics of Program Construction: 12th International Conference, MPC 2015, KÃ¶nigswinter, Germany, June 29--July 1, 20, (Paperback) $54.99
current price $54.99
Mathematics of Program Construction: 12th International Conference, MPC 2015, KÃ¶nigswinter, Germany, June 29--July 1, 20, (Paperback)
Serious Games: 4th Joint International Conference, Jcsg 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings, (Paperback) $54.99
current price $54.99
Serious Games: 4th Joint International Conference, Jcsg 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings, (Paperback)
Graph Transformation: 10th International Conference, Icgt 2017, Held as Part of Staf 2017, Marburg, Germany, July 18-19,, (Paperback) $54.99
current price $54.99
Graph Transformation: 10th International Conference, Icgt 2017, Held as Part of Staf 2017, Marburg, Germany, July 18-19,, (Paperback)
Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings, (Paperback) $54.99
current price $54.99
Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings, (Paperback)
Artificial General Intelligence: 8th International Conference, Agi 2015, Agi 2015, Berlin, Germany, July 22-25, 2015, Pr, (Paperback) $49.82
current price $49.82
Artificial General Intelligence: 8th International Conference, Agi 2015, Agi 2015, Berlin, Germany, July 22-25, 2015, Pr, (Paperback)
Mathematical Knowledge Management: 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Se, (Paperback) $54.99
current price $54.99
Mathematical Knowledge Management: 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Se, (Paperback)
Electronic Participation: Third Ifip Wg 8.5 International Conference, Epart 2011, Delft, the Netherlands, August 29 - Se, (Paperback) $54.99
current price $54.99
Electronic Participation: Third Ifip Wg 8.5 International Conference, Epart 2011, Delft, the Netherlands, August 29 - Se, (Paperback)
Multiagent System Technologies: 11th German Conference, Mates 2013, Koblenz, Germany, September 16-20, 2013 Proceedings, (Paperback) $54.99
current price $54.99
Multiagent System Technologies: 11th German Conference, Mates 2013, Koblenz, Germany, September 16-20, 2013 Proceedings, (Paperback)
Multiagent System Technologies: Third German Conference, Mates 2005, Koblenz, Germany, September 11-13, 2005, Proceeding, (Paperback) $54.99
current price $54.99
Multiagent System Technologies: Third German Conference, Mates 2005, Koblenz, Germany, September 11-13, 2005, Proceeding, (Paperback)
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 -- Augus, (Paperback) $54.99
current price $54.99
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 -- Augus, (Paperback)
Pattern Recognition: 36th German Conference, Gcpr 2014, MÃ¼nster, Germany, September 2-5, 2014, Proceedings, (Paperback) $54.99
current price $54.99
Pattern Recognition: 36th German Conference, Gcpr 2014, MÃ¼nster, Germany, September 2-5, 2014, Proceedings, (Paperback)
Advances in Web Based Learning - ICWL 2009: 8th International Conference, Aachen, Germany, August 19-21, 2009, Proceedin, (Paperback) $54.99
current price $54.99
Advances in Web Based Learning - ICWL 2009: 8th International Conference, Aachen, Germany, August 19-21, 2009, Proceedin, (Paperback)
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007 Proceeding, (Paperback) $54.99
current price $54.99
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007 Proceeding, (Paperback)
User Modeling 2001: 8th International Conference, Um 2001, Sonthofen, Germany, July 13-17, 2001. Proceedings, (Paperback) $54.99
current price $54.99
User Modeling 2001: 8th International Conference, Um 2001, Sonthofen, Germany, July 13-17, 2001. Proceedings, (Paperback)
Smart Graphics: 5th International Symposium, Sg 2005, Frauenwörth Cloister, Germany, August 22-24, 2005, Proceedings, (Paperback) $54.99
current price $54.99
Smart Graphics: 5th International Symposium, Sg 2005, Frauenwörth Cloister, Germany, August 22-24, 2005, Proceedings, (Paperback)
Deontic Logic in Computer Science: 10th International Conference, Deon 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, (Paperback) $54.99
current price $54.99
Deontic Logic in Computer Science: 10th International Conference, Deon 2010, Fiesole, Italy, July 7-9, 2010. Proceedings, (Paperback)

Customer ratings & reviews

0 ratings|0 reviews

This item does not have any reviews yet

Rewards debit card.Earn 3% cash back, on up to $150spent each month.Terms apply.

Join OnePay Cash

Rollbacks & more

Easter

Grocery

Clothing, Shoes, & Accessories

Baby & Kids

Pharmacy, Health & Wellness

Home, Garden & Tools

Electronics

Gaming

Auto & Tires

Personal Care

Beauty

Toys & Outdoor Play

Household Essentials

Pet Supplies

School, Office & Art Supplies

Sports & Outdoors

Books, Movies, & Music

Party Supplies

Auto Care Services

Pharmacy

Health Services

Vaccines

Vision Center

Benefit Programs

Insurance Services

Lists

Registries

Gift Cards

Spark Good

Custom Cakes

Custom Cupcakes

Featured

Photo Gifts

OnePay Hub

Money & Other Services

Gift Cards

Protection Services

Home & Tech Services

Subscriptions

Subscription Products

Walmart Business

Industry solutions

It’s easier in the app

Pickup & Delivery

Get inspired

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback)

Key item features

Specs

How do you want your item?

More seller options (1)

Get free delivery, shipping and more*

About this item

Product details

Specifications

Book format

Fiction/nonfiction

Genre

Pub date

Warranty

Warranty information

Similar items you might like

Based on what customers bought

Provable Security: 9th International Conference, Provsec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings, (Paperback) $54.99

Provable Security: 9th International Conference, Provsec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings, (Paperback)

Algorithmic Learning Theory: 13th International Conference, Alt 2002, LÃ¼beck, Germany, November 24-26, 2002, Proceedings, (Paperback) $54.99

Algorithmic Learning Theory: 13th International Conference, Alt 2002, LÃ¼beck, Germany, November 24-26, 2002, Proceedings, (Paperback)

Lecture Notes in Computer Science Computer Aided Verification: 7th International Conference, Cav &apos;95, Liege, Belgium, July 3 - 5, 1995. Proceedings, Book 939, (Paperback) $54.99

Lecture Notes in Computer Science Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings, Book 939, (Paperback)

Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback) $54.99

Lecture Notes in Computer Science Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings, Book 1633, (Paperback)

Mathematics of Program Construction: 12th International Conference, MPC 2015, KÃ¶nigswinter, Germany, June 29--July 1, 20, (Paperback) $54.99

Mathematics of Program Construction: 12th International Conference, MPC 2015, KÃ¶nigswinter, Germany, June 29--July 1, 20, (Paperback)

Serious Games: 4th Joint International Conference, Jcsg 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings, (Paperback) $54.99

Serious Games: 4th Joint International Conference, Jcsg 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings, (Paperback)

Graph Transformation: 10th International Conference, Icgt 2017, Held as Part of Staf 2017, Marburg, Germany, July 18-19,, (Paperback) $54.99

Graph Transformation: 10th International Conference, Icgt 2017, Held as Part of Staf 2017, Marburg, Germany, July 18-19,, (Paperback)

Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings, (Paperback) $54.99

Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings, (Paperback)

Artificial General Intelligence: 8th International Conference, Agi 2015, Agi 2015, Berlin, Germany, July 22-25, 2015, Pr, (Paperback) $49.82

Lecture Notes in Computer Science Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings, Book 939, (Paperback) $54.99