Format:
XI, 481 S.
,
graph. Darst.
,
24 cm
ISBN:
354024297X
Series Statement:
Lecture notes in computer science 3385
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Verification, Model Checking, and Abstract Interpretation (vol. # 3385) Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 ISBN 9783540305798
Language:
English
Subjects:
Computer Science
Keywords:
Programmanalyse
;
Programmverifikation
;
Model Checking
;
Abstrakte Interpretation
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/summary/eng0801/2004117275.html
URL:
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3385
Bookmarklink