Jacques Loeckx

No bio available. Add one in Open Library.

Books by Jacques Loeckx (50 max)

+ shelf+ list

The foundations of program verification

1984

Jacques Loeckx

+ shelf+ list

Mechanical construction of bounded-context parsers for chomsky O-type language

1969

Jacques Loeckx

+ shelf+ list

Algorithmentheorie

1976

Jacques Loeckx

+ shelf+ list

Grundlagen der Programmiersprachen

1986

Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm

+ shelf+ list

The Foundations of Program Verification

1987

Jacques Loeckx, Kurt Sieber, Ryan Stansifer

+ shelf+ list

Foundations of programming languages

1988

Jacques Loeckx