Showing 1 - 20 results of 21 for search 'Loeckx, Jacques', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    The Foundations of Program Verification

    The Foundations of Program Verification by Loeckx, Jacques

    Published 1987

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Grundlagen der Programmiersprachen mit zahlreichen Beispielen und Aufgaben

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

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Algorithmic specifications of abstract data types410 Saarbrücken

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

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Some properties of implementations of abstract data types

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

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Formale Korrektheitsbeweise für While-Programme

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

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Specification of abstract data types

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

    Published 1996
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    OBSCURE, a specification language for abstract data types

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

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    The foundations of program verification

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

    Published 1987
    Indexes
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    The foundations of program verification

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

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Algorithmentheorie

    Algorithmentheorie by Loeckx, Jacques

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    The fixpoint theorem and the principle of computational induction

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

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Mechanical construction of boundedcontext parsers for Chomsky 0-type languages

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

    Published 1969
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    The specification language of OBSCURE

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

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Grundlagen der Programmiersprachen

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

    Published 1986
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  15. 15
    Implementations of abstract data types and their correctness proofs

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

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    An axiomatic justification of the LCF-system

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

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    An algorithm normalizing elementary while-programs

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

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Algorithmentheorie

    Algorithmentheorie by Loeckx, Jacques

    Published 1976

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  19. 19
    Computability and decidability an introduction for students of computer science

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

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Mechanical construction of bounded-context parsers for Chomsky O-type languages

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

    Published 1969
    Thesis Book Interlibrary loan Place Request


    Saved in:

Search Tools: