Loeckx, Jacques   (1931-)

この人物の情報

人物別名 Jacques Loeckx

Loeckx, J. J. C.

Loeckx, J. J. C. (Jacques J. C.)
生年 1931年
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Specification of abstract data types Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf B.G. Teubner
Wiley
c1996
Foundations of programming languages Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm J. Wiley
c1988
The foundations of program verification Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer B.G. Teubner
Wiley
c1987
The foundations of program verification Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer B.G. Teubner
Wiley
c1984
Algorithmentheorie Jacques Loeckx Springer-Verlag
1976
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 edited by Jacques Loeckx Springer-Verlag
1974
Automata, languages and programming, 2nd Colloquium, University of Saarbrücken, 2nd Colloquium, University of Saarbrücken, July 29-Auf. 2, 1974 /edited by Jacques Loeckx - Springer-Verlag
1974
Computability and decidability : an introduction for students of computer science J. Loeckx Springer-Verlag
1972
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想