Jacques Loeckx

6 books • 6 series

Oct 28, 1996
Cover of Specification of Abstract Data Types

Specification of Abstract Data Types

Sep 28, 1988
Cover of Foundations of Programming Languages

Foundations of Programming Languages

Feb 4, 1987
Cover of Foundations of Programme Verification

Foundations of Programme Verification (Wiley-Teubner series in computer science)

Feb 1, 1987
Cover of The Foundations of Program Verification

The Foundations of Program Verification (Computer Science) (Wiley Teubner on Applicable Theory in Computer Science) (Series in Computer Science)

Sep 1, 1976
Cover of Algorithmentheorie

Algorithmentheorie (Hochschultext)

Jun 26, 1972
Cover of Computability and Decidability

Computability and Decidability (Lecture Notes in Economics and Mathematical Systems, #68)