Format:
X, 220 S.
ISBN:
0387969578
,
3540969578
Series Statement:
Texts and monographs in computer science
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Programmiersprache
;
Semantik
;
Prädikatenumformer
;
Prädikatenkalkül
;
Programmiersprache
;
Semantik
;
Prädikatenlogik
Author information:
Scholten, Carel S. 1925-2009
Bookmarklink