Find out when it's back

We’ll send you an email as soon as this item is available to buy online.

Email address

Books
Computers
Programming

Buy Now, In-Store Pick Up Only

Free Preview of Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

ebook preview

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Name: Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Javier Esparza
ISBN: 9783030317836

Yu-fang Chen Edited by Chih-hong Cheng , Javier Esparza

bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
CLOUD, getAggregateRating, 10ms
reviews, product
bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Oct 06, 2019

$80.50

Online pricing. Prices and offers may vary in store.

. Learn More

This product requires a minimum order of 1

Final Sale. No returns or exchanges.

This item will be shipped by appointment through our delivery partner.

Format: Paperback

ISBN: 9783030317836

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+. Learn more

Overview

Appropriate for

Language

English

No. of Pages

552

Programming and Software Engineering

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783030317836

Life stage: null

Ratings & Reviews

bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
CLOUD, getReviews, 6ms
reviews, product
bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Editorial reviews

chih-hong cheng

Author

Others Also Bought

Choose format

eBooks from Indigo are available at Kobo.com

Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.

Why Kobo?

With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.

Continue to kobo.com

PROMOTION DETAILS

*Valid November 28, 2024 - December 2, 2024 at Canadian stores and at indigo.ca, while quantities last, with $50.00 or more pre-tax purchase of eligible product(s), after discounts and plum points redemptions. Minimum purchase amount excludes gift cards, plum+ memberships, Love of Reading products/donations, and shipping costs. Selection may vary between stores and online.

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /en-ca/automated-technology-for-verification-and-analysis-17th-international-symposium-atva-2019-taipei-taiwan-october-28-31-2019-proceedings/56C4F9DC-0304-442A-A1B8-15C0E0287AD8.html 56C4F9DC-0304-442A-A1B8-15C0E0287AD8

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

https://dynamic.indigoimages.ca/v1/books/books/3030317838/1.jpg

80.5

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/7ff3627a-17c8-40a2-87f7-3b49bee710f1/300/300/False/image.jpg

75.48

Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Overview

You May Also Like

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Recently Viewed