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

  • Treffer 1 – 6 von 6
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1986
    “… International Summer School on Logic of Programming and Calculi of Discrete Design …”
    Tagungsbericht Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1986
    “… International Summer School on Logic of Programming and Calculi of Discrete Design …”
    Tagungsbericht Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1986
    “… International Summer School on Logic of Programming and Calculi of Discrete Design …”
    Tagungsbericht Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1986
    “… International Summer School on Logic of Programming and Calculi of Discrete Design …”
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1986
    “… International Summer School on Logic of Programming and Calculi of Discrete Design …”
    Tagungsbericht Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Working material for the lectures of ...

    “… International Summer School on Logic of Programming and Calculi of Discrete Design Marktoberdorf …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: