UID:
kobvindex_ZLB15210438
Format:
X, 215 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642150562
Series Statement:
Lecture notes in computer science 6217
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Software
;
Verifikation
;
Kongress
;
Edinburgh 〈2010〉
;
Softwaretest
;
Programmanalyse
;
Programmverifikation
;
Formale Methode
;
Kongress
;
Edinburgh 〈2010〉
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/1004409605/04
URL:
http://deposit.d-nb.de/cgi-bin/dokserv?id=3513905&prov=M&dok_var=1&dok_ext=htm