An edition of Verification, Model Checking, and Abstract Interpretation (vol. # 3855) (2006)

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

by

Cover of: Verification, Model Checking, and Abstract Interpretation by Kedar S. Namjoshi
Read Listen

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
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of Verification, Model Checking, and Abstract Interpretation (vol. # 3855) (2006)

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

by

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

Publish Date
Publisher
Springer
Language
English
Pages
443

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Logic design, Computer science, Software engineering, Computer programs, Congresses, Verification, Computer software, verification
Edition Availability
Cover of: Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)
February 10, 2006, Springer
Paperback in English - 1 edition

Add another edition?

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

ID Numbers

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

Source records

Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 4, 2021 Edited by ImportBot import existing book
December 14, 2020 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book