Verification, Model Checking, and Abstract Interpretation > Editions

by Neil D. Jones First published February 13th 2009

Sort by

Format

Language

Editions

Showing 1-1 of 1

Verification, Model Checking, and Abstract Interpretation (Paperback)

Published December 18th 2008 by Springer

2008, Paperback, 392 pages

Author(s):

Markus Müller-Olm (Editor)

ISBN:

9783540938996 (ISBN10: 3540938990)

ASIN:

3540938990

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars