Search Results - International Summer School on Logic of Programming and Calculi of Discrete Design

  • Showing 1 – 6 results of 6
Filter by
  1. 1
    Cover Image

    Working material for the lectures of ...
    [1] - Partial interpretation of higher order algebraic types
    by Broy, Manfred 1949-

    Published 1986
    “…International Summer School on Logic of Programming and Calculi of Discrete Design…”
    Conference Proceedings Book


    Saved in:
  2. 2
    Cover Image

    Working material for the lectures of ...
    [2] - Predicate logic
    by Dijkstra, Edsger W.

    Published 1986
    “…International Summer School on Logic of Programming and Calculi of Discrete Design…”
    Conference Proceedings Book


    Saved in:
  3. 3
    Cover Image

    Working material for the lectures of ...
    [3] - Laws of programming : a tutorial paper
    by Hoare, Charles A. R. 1934-

    Published 1986
    “…International Summer School on Logic of Programming and Calculi of Discrete Design…”
    Conference Proceedings Book


    Saved in:
  4. 4
    Cover Image

    Working material for the lectures of ...
    [4] - Formal structures for computation and deduction
    by Huet, Gérard 1947-

    Published 1986
    “…International Summer School on Logic of Programming and Calculi of Discrete Design…”
    Conference Proceedings Book


    Saved in:
  5. 5
    Cover Image

    Working material for the lectures of ...
    [5] - Exploratory proposals for a calculus of software development
    by Sintzoff, Michel

    Published 1986
    “…International Summer School on Logic of Programming and Calculi of Discrete Design…”
    Conference Proceedings Book


    Saved in:
  6. 6
    Cover Image

    Working material for the lectures of ...

    “…International Summer School on Logic of Programming and Calculi of Discrete Design Marktoberdorf…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: