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
Summary
The book constitutes the refereed proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007, co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with 3 invited lectures and 3 invited tutorials were carefully reviewed and selected from a total of 85 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods
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 ...