著者典拠情報

標目形：
Loeckx, Jacques, 1931-
属性：
Personal
日付：
1931-
から見よ参照形：
Loeckx, J. J. C.
Loeckx, J. J. C. (Jacques J. C.), 1931-
注記：
His Enkele theoretische aspecten der programmatuur, 1970
His The foundations of program verification, c1984: CIP t.p. (Jacques Loeckx; Angewandte Mathematik und Informatik, U. Saarbrücken, Germany)
Dr.; b. 1931
著者典拠ID：
DA00861781


 close
1.

図書
図書
1. Specification of abstract data types (: Wiley ; : Teubner)
Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf
出版情報: Chichester ; New York : Wiley , Stuttgart : B.G. Teubner, c1996
所蔵情報: loading…
2.

図書
図書
2. The foundations of program verification. 2nd ed (: Wiley ; : Teubner)
Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer
出版情報: Stuttgart : B.G. Teubner , Chichester [West Sussex] ; New York : Wiley, c1987
シリーズ名: Wiley-Teubner series in computer science
所蔵情報: loading…
3.

図書
図書
3. The foundations of program verification (Wiley ; Teubner)
Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer
出版情報: Stuttgart [Germany] : B.G. Teubner , Chichester; New York : Wiley, c1984
シリーズ名: Wiley-Teubner series in computer science
所蔵情報: loading…
4.

図書
図書
4. Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 (: gw ; : us)
edited by Jacques Loeckx
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 14
所蔵情報: loading…
5.

図書
図書
5. Computability and decidability : an introduction for students of computer science (: gw ; : us)
J. Loeckx
出版情報: Berlin ; New York : Springer-Verlag, 1972
シリーズ名: Lecture notes in economics and mathematical systems ; 68
所蔵情報: loading…