Format:
XIII, 426 S.
ISBN:
3-540-20536-5
Series Statement:
Lecture notes in computer science 2895
Language:
English
Keywords:
Programmierung
;
Programmierparadigma
;
Programmanalyse
;
Programmverifikation
;
Typentheorie
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2003064073-d.html