Name: verification, model checking, and abstract interpretation
SKU: 3425707
Price: 54.34 EUR
Availability: InStock
ISBN: 9783540781622

Select your country

Americas

Europe

Rest of the world

portada verification, model checking, and abstract interpretation

verification, model checking, and abstract interpretation

Type

Physical Book

Publisher

Springer

Language

English

Pages

325

ISBN

3540781625

ISBN13

9783540781622

Synopsis "verification, model checking, and abstract interpretation"

the book constitutes the refereed proceedings of the 9th international conference on verification, model checking, and abstract interpretation, vmcai 2007, held in san francisco, usa, in january 2008. the 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over 60 submissions. the papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews