Format:
XI, 442 S. :
,
graph. Darst.
ISBN:
978-3-540-31139-3
,
3-540-31139-4
Series Statement:
Lecture notes in computer science 3855
Language:
English
Subjects:
Computer Science
Keywords:
Programmanalyse
;
Programmverifikation
;
Model Checking
;
Abstrakte Interpretation
;
Formale Methode
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014703077&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
URL:
http://www.loc.gov/catdir/enhancements/fy0663/2005937944-d.html
Bookmarklink