Umfang:
442 S.
,
graph. Darst.
ISBN:
3540558136
,
0387558136
Serie:
NATO: NATO ASI series / F 94
Sprache:
Englisch
Fachgebiete:
Informatik
,
Mathematik
Schlagwort(e):
Logische Programmierung
;
Programmierung
;
Algebraische Spezifikation
;
Algebra
;
Hardware
;
Spezifikation
;
Logik
;
Algebraische Spezifikation
;
Logik
;
Konferenzschrift
;
Konferenzschrift
Mehr zum Autor:
Bauer, Friedrich L. 1924-2015
Bookmarklink