TU München

Informatik

Software & Systems Engineering

Lehre WS '99/2K

Wintersemester 1999/2000
Grundlagen der Programm- und Systementwicklung

Merkblätter zur Vorlesung

Prof. Dr. Manfred Broy

Vorlesung

Übungen

Links

Literatur

• Algebraische Spezifikationen
  • Bool, Nat, Seq
    [Postscript: 19K, pdf: 4K]
    
  • Bool, Nat, Int, Extended_Seq, Queue, Stack, Deque, Tree, Finset, Multiset, Ex-Finset, Grex, Graph, Ex-Grex
    [Postscript: 19K, pdf: 4K]
• Organisierter Speicher [Postscript: 88K, pdf: 641K]

Alexander Pretschner, 18.1.2000