Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II - Azadeh Farzan

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

By: Azadeh Farzan (Editor), Swarat Chaudhuri (Editor)

Paperback | 14 July 2016

At a Glance

Paperback
540 Pages

Dimensions(cm)
23.5 x 15.5 x 2.77

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.

The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Computer Networking & Communications Computer Science Mathematical Theory of Computation Algorithms & Data Structures Computer Hardware

More in Algorithms & Data Structures

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$33.75

16%
OFF

Heuristic Algorithms Design : A Methodological Approach - Joe Oswald

Heuristic Algorithms Design

A Methodological Approach

Hardcover

$461.75

The Man Who Solved the Market : How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019 - Gregory Zuckerman

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Paperback

RRP $26.99

$22.99

15%
OFF

Artificial Intelligence Programming with Python : From Zero to Hero - Perry Xiao

Artificial Intelligence Programming with Python

From Zero to Hero

Paperback

RRP $65.95

$49.75

25%
OFF

Introduction to Machine Learning with Python : A Guide for Data Scientists - Andreas C. Mueller

Introduction to Machine Learning with Python

A Guide for Data Scientists

Paperback

RRP $114.00

$55.75

51%
OFF

Code Dependent : Living in the Shadow of AI - Madhumita Murgia

Code Dependent

Living in the Shadow of AI

Paperback

RRP $24.99

$21.75

13%
OFF

Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$73.75

51%
OFF

Code Dependent : Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction - Madhumita Murgia

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Paperback

RRP $36.99

$29.75

20%
OFF

Learning Spark : Lightning-Fast Data Analytics - Brooke Wenig

Learning Spark

Lightning-Fast Data Analytics

Paperback

RRP $152.00

$73.75

51%
OFF

How to Prove It : A Structured Approach - Daniel J. Velleman

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

New Storytelling : Learning through Metaphors - Anna Ursyn

New Storytelling

Learning through Metaphors

Paperback

RRP $103.00

$91.75

11%
OFF

Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric

Applied Data Science in FinTech

Models, Tools, and Case Studies

Hardcover

RRP $305.00

$263.75

14%
OFF

Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric

Applied Data Science in FinTech

Models, Tools, and Case Studies

Paperback

RRP $98.99

$88.75

10%
OFF

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Hardcover

RRP $126.00

$114.75

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Paperback

RRP $94.99

$85.75

10%
OFF

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Christopher Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Paperback

RRP $75.99

$71.75

Computer Science Why : Answers to Computer Science Questions They Don't Cover in Class - Christopher Little

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Hardcover

RRP $305.00

$263.75

14%
OFF

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Paperback

RRP $210.00

$184.75

12%
OFF

Ethics and Governance of Artificial Intelligence : Frameworks, Risks, and Society - Hemachandran K

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Hardcover

RRP $173.00

$153.99

11%
OFF

BioMed Bots Assurance : Securing Robotics, Healthcare, and IT Convergence - Rajalakshmi Murugesan

BioMed Bots Assurance

Securing Robotics, Healthcare, and IT Convergence

Hardcover

RRP $273.00

$236.99

13%
OFF

Tiny Machine Learning Techniques for Constrained Devices - Ahmed A. Abd El-Latif

Tiny Machine Learning Techniques for Constrained Devices

Hardcover

$320.75

Python 3 Using DeepSeek - Oswald Campesato

Python 3 Using DeepSeek

Hardcover

$433.75

Fundamentals of Data Structures and Algorithms - Elvis C. Foster

Fundamentals of Data Structures and Algorithms

Hardcover

$418.75

Diversity-Driven Evolutionary Algorithms For Solving Engineering Problems - Sumika Chauhan

Diversity-Driven Evolutionary Algorithms For Solving Engineering Problems

Hardcover

$673.75