Showing 1 - 9 results of 9 for search 'Loeckx, Jacques, 1931-', query time: 0.26s Refine Results
  1. 1
    Computability and decidability; an introduction for students of computer science

    Book
  2. 2
    The foundations of program verification /

    Book
  3. 3
    Specification of abstract data types /

    Book
  4. 4
    The foundations of program verification /

    Book
  5. 5
    Foundations of programming languages /
    by Loeckx, Jacques, 1931-
    Published 1988

    Book
  6. 6
    Algorithmentheorie /
    by Loeckx, Jacques, 1931-
    Published 1976

    Book
  7. 7
    Mechanical construction of bounded-context parsers for Chomsky O-type languages,
    by Loeckx, Jacques, 1931-
    Published 1969

    Thesis Book
  8. 8
    Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974.
    Published 1974
    Other Authors: “...Loeckx, Jacques, 1931-...”

    Conference Proceeding Book
  9. 9
    Automata, languages and programming 2d Colloquium, University of Saarbr�ucken, July 29 - August 2, 1974.
    Published 1974
    Other Authors: “...Loeckx, Jacques, 1931-...”

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search