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