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
Contributor
Subject
Language
eng
Member of
Characteristic
online system or service
Image bit depth
0
http://library.link/vocab/relatedWorkOrContributorDate
2007
http://library.link/vocab/relatedWorkOrContributorName
  • Cook, Byron
  • Podelski, Andreas
  • VMCAI
Series statement
Lecture Notes in Computer Science
Series volume
4349
http://library.link/vocab/subjectName
  • Computer science
  • Logic design
  • Software engineering
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
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540697381
Issn
0302-9743
Level of compression
uncompressed
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
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540697381
Issn
0302-9743
Level of compression
uncompressed
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...