Book
Boston ; Berlin [u.a.] :Birkhäuser,
Format:
259 S. : graph. Darst.
ISBN:
0-8176-3570-X
,
3-7643-3570-X
Series Statement:
Progress in theoretical computer science 4
Note:
Zugl.: Cambridge, Univ., Diss., 1989
Language:
English
Keywords:
Programmiersprache
;
Funktionale Semantik
;
Semantischer Bereich
;
Programmiersprache
;
Semantik
;
Attributwertebereich
;
Logik
;
Mathematische Logik
;
Hochschulschrift
Bookmarklink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |