Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)

1 edition

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today



Download Options

Buy this book

Last edited by MARC Bot
December 29, 2022 | History

Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)

1 edition

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
443

Buy this book

Previews available in: English

Book Details


Classifications

Library of Congress
QA76.76.V47 V53 2006, QA75.5-76.95

The Physical Object

Format
Paperback
Number of pages
443
Dimensions
9.1 x 6.1 x 0.9 inches
Weight
1.4 pounds

Edition Identifiers

Open Library
OL9890610M
Internet Archive
verificationmode2006emer
ISBN 10
3540311394
ISBN 13
9783540311393
LCCN
2005937944
OCLC/WorldCat
63176709
Goodreads
740835

Work Identifiers

Work ID
OL16933716W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 29, 2022 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
December 14, 2020 Edited by MARC Bot import existing book
July 28, 2014 Edited by ImportBot import new book
April 30, 2008 Created by an anonymous user Imported from amazon.com record