Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener
Doktorandenseminar: Abstract State Machines und ihre Anwendungen, WS 2003/2004
Inhalt
Allgemeines
Allgemeines
Semester: WS 2003/2004
Veranstalter:
AG Rechnernetze
AG Grundlagen der Informatik
AG Softwaretechnik
Kapitel 1.3: ASM Proof Techniques mit Übungen
Autor:
Robert Eschbach
Folien
(*.pdf.tgz)
Weitere Informationen:
WWW-Seite AG Rechnernetze
Lehrveranstaltungen
AG Grundlagen der Informatik
FB Informatik
Univerität Kaiserslautern
Last Update: Friday, 23-Jul-04 21:47:12 GMT
eschbach@informatik.uni-kl.de
