. . . . "448"^^ . "625.68"^^ . . "Jacques Loeckx (n\u00E9 le 2 novembre 1931 \u00E0 Bruxelles et mort le 4 janvier 2020 \u00E0 Cologne) est un informaticien th\u00E9oricien belge, professeur \u00E0 l'universit\u00E9 de la Sarre."@fr . . "coll."@fr . . "1976"^^ . . "14105207"^^ . . . "Springer-Verlag"@fr . . . . . . . "Algorithmentheorie"@fr . "185503384"^^ . "Kurt Mehlhorn"@fr . . . "Leitf\u00E4den und Monographien der Informatik"@fr . "599.68"^^ . . . . . . "3917"^^ . . . . "ix + 230"@fr . . . "Kurt Sieber"@fr . . . . "868.681"^^ . "xi + 260"@fr . . . . . "Hochschultext"@fr . . "Jacques Loeckx"@fr . . . . . "B. G. Teubner"@fr . . . . . . "2"^^ . . . . "B. G. Teubner et Wiley"@fr . . "Berlin-Heidelberg-New York"@fr . "Reinhard Wilhelm"@fr . . . "de"@fr . . "Hans-Dieter Ehrich"@fr . . "355.68"^^ . "Jacques Loeckx"@fr . "Stuttgart"@fr . "Jacques Loeckx"@de . "The foundations of program verification"@fr . . . "Grundlagen der Programmiersprachen"@fr . "xiv+223"@fr . . "1984"^^ . . "Jacques Loeckx (n\u00E9 le 2 novembre 1931 \u00E0 Bruxelles et mort le 4 janvier 2020 \u00E0 Cologne) est un informaticien th\u00E9oricien belge, professeur \u00E0 l'universit\u00E9 de la Sarre."@fr . . . "Specification of abstract data types"@fr . "Markus Wolf"@fr . "Ryan D. Stansifer"@fr . . . "1996"^^ . "Stuttgart et Chichester"@fr . "1986"^^ . "1987"^^ .