Suchergebnisse - Loeckx, Jacques

Jacques Loeckx

Jacques Loeckx (* 2. November 1931 in Brüssel; † 4. Januar 2020 in Köln) war ein belgischer Informatiker, der an der Universität des Saarlandes lehrte. Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

    The Foundations of Program Verification
    von Loeckx, Jacques

    Veröffentlicht 1987
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Grundlagen der Programmiersprachen: mit zahlreichen Beispielen und Aufgaben
    von Loeckx, Jacques 1931-2020, Mehlhorn, Kurt 1949-, Wilhelm, Reinhard 1946-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Algorithmic specifications of abstract data types410 Saarbrücken
    von Loeckx, Jacques

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Some properties of implementations of abstract data types
    von Loeckx, Jacques

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Formale Korrektheitsbeweise für While-Programme
    von Loeckx, Jacques

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Specification of abstract data types
    von Loeckx, Jacques, Ehrich, Hans-Dieter 1943-, Wolf, Markus

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    OBSCURE, a specification language for abstract data types
    von Lehmann, Thomas, Loeckx, Jacques

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    The foundations of program verification
    von Loeckx, Jacques, Sieber, Kurt

    Veröffentlicht 1987
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    The foundations of program verification
    von Loeckx, Jacques, Sieber, Kurt, Stansifer, Ryan

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Algorithmentheorie
    von Loeckx, Jacques

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    The fixpoint theorem and the principle of computational induction
    von Loeckx, Jacques

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Mechanical construction of boundedcontext parsers for Chomsky 0-type languages
    von Loeckx, Jacques

    Veröffentlicht 1969
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    The specification language of OBSCURE
    von Lehmann, Thomas, Loeckx, Jacques

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Grundlagen der Programmiersprachen
    von Loeckx, Jacques 1931-2020, Mehlhorn, Kurt 1949-, Wilhelm, Reinhard 1946-

    Veröffentlicht 1986
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Implementations of abstract data types and their correctness proofs
    von Loeckx, Jacques

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    An algorithm normalizing elementary while-programs
    von Lehmann, S., Loeckx, Jacques

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Algorithmentheorie
    von Loeckx, Jacques

    Veröffentlicht 1976
    Elektronisch E-Book


    Gespeichert in:
  18. 18
    Buchumschlag

    Computability and decidability: an introduction for students of computer science
    von Loeckx, Jacques

    Veröffentlicht 1972
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    An axiomatic justification of the LCF-system
    von Barth, Wolfgang, Loeckx, Jacques

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Mechanical construction of bounded-context parsers for Chomsky O-type languages
    von Loeckx, Jacques

    Veröffentlicht 1969
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: