A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

€ 62,49

Verification, Model Checking, and Abstract Interpretation — 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings. An English-language digital edition by Deepak D’Souza (Editor); Akash Lal (Editor); Kim Guldstrand Larsen (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2480537 Category:

Description

About this book

Verification, Model Checking, and Abstract Interpretation — 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings. An English-language digital edition by Deepak D'Souza (Editor); Akash Lal (Editor); Kim Guldstrand Larsen (Editor), available in PDF.

Edition details

  • Author / contributors: Deepak D'Souza (Editor); Akash Lal (Editor); Kim Guldstrand Larsen (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: December 11, 2014
  • Language: English
  • ISBNs: 9783662460801; 9783662460818
  • Digital formats: PDF

Additional information

Author

Deepak D'Souza (Editor); Akash Lal (Editor); Kim Guldstrand Larsen (Editor)
Publisher

Springer Berlin Heidelberg
Language

English
ISBN

9783662460801, 9783662460818
Format

PDF
Publication date

December 11, 2014
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Verification, Model Checking, and Abstract Interpretation”

Your email address will not be published. Required fields are marked *

Related products