|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
|
|
|
040 -CATALOGING SOURCE
|
|
a
Original cataloging agency
NEU GrandLibrary
|
|
|
050 -LIBRARY OF CONGRESS CALL NUMBER
|
|
a
Classification number
QA76.5
|
|
b
Item number
.V47 2009
|
|
|
245 -TITLE STATEMENT
|
|
a
Title
Verification, Model Checking, and Abstract Interpretation :
|
|
b
Remainder of title
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/
|
|
c
Statement of responsibility, etc
edited by Neil D. Jones, Markus Müller-Olm.
|
|
h
Medium
BOOK
|
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
|
a
Place of publication, distribution, etc
Berlin, Heidelberg :
|
|
b
Name of publisher, distributor, etc
Springer Berlin Heidelberg,
|
|
c
Date of publication, distribution, etc
2009.
|
|
|
300 -PHYSICAL DESCRIPTION
|
|
a
Extent
380 p. ;
|
|
c
Dimensions
24 cm.
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Computer science
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Logic design
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Software engineering
|
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
|
a
Topical term or geographic name as entry element
Logics and Meanings of Programs.
|
|
