Giving structured analysis techniques a formal and operational semantics with KARL

Fensel, Dieter; Angele, Juergen; Landes, Dieter; Studer, Rudi

Seitenaufrufe: 42
seit 25.04.2018

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Buch
Publikationsjahr	1993
Sprache	Englisch
Identifikator	KITopen-ID: 17993
Erscheinungsvermerk	Karlsruhe 1993. (Bericht. Institut fuer Angewandte Informatik und Formale Beschreibungsverfahren, Universitaet Karlsruhe (TH). 263.)