Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
SKU: 24522446
Price: 143.99 AUD
Availability: InStock

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$143.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $36.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 31 May - 12 Jun using International Courier

Description

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.

Release date Australia

December 26th, 2015

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational

Contributors

Edited by Barbara Jobstmann
Edited by K Rustan M Leino

Edition

1st ed. 2016

Illustrations

123 Illustrations, color; XIII, 558 p. 123 illus. in color.

Pages

558

Series

Lecture Notes in Computer Science,

Dimensions

155x235x29

ISBN-13

9783662491218

Product ID

24522446

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Verification, Model Checking, and Abstract Interpretation

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*