Format:
442 S.
,
graph. Darst.
ISBN:
3540558136
,
0387558136
Series Statement:
NATO: NATO ASI series / F 94
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Logische Programmierung
;
Programmierung
;
Algebraische Spezifikation
;
Algebra
;
Hardware
;
Spezifikation
;
Logik
;
Algebraische Spezifikation
;
Logik
;
Konferenzschrift
;
Konferenzschrift
Author information:
Bauer, Friedrich L. 1924-2015
Bookmarklink