Coverart for item
The Resource Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings, edited by Byron Cook, Andreas Podelski, (electronic book)

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings, edited by Byron Cook, Andreas Podelski, (electronic book)

Label
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Title
Verification, Model Checking, and Abstract Interpretation
Title remainder
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Statement of responsibility
edited by Byron Cook, Andreas Podelski
Creator
Contributor
Subject
Language
eng
Member of
Is part of
Cataloging source
A7U
http://library.link/vocab/creatorName
Cook, Byron
Dewey number
005.1015113
Image bit depth
0
Index
no index present
LC call number
QA76.76.V47
LC item number
V53 2007 eb
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Podelski, Andreas
Series statement
Lecture notes in computer science,
Series volume
4349
http://library.link/vocab/subjectName
  • Software engineering
  • Logic design
  • Computer science
  • Software Engineering
  • Programming Languages, Compilers, Interpreters
  • Logics and Meanings of Programs
  • Computer Science
Label
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings, edited by Byron Cook, Andreas Podelski, (electronic book)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
SPR759003565
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
online
Isbn
9783540697350
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings, edited by Byron Cook, Andreas Podelski, (electronic book)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
SPR759003565
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
online
Isbn
9783540697350
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...