Formal methods and object-orientation

Casais, Eduardo; Lewerentz, Claus; Lindner, Thomas; Weber, Franz

Seitenaufrufe: 11
seit 25.04.2018

Zugehörige Institution(en) am KIT	Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI)
Publikationstyp	Buch
Publikationsjahr	1993
Sprache	Englisch
Identifikator	KITopen-ID: 180493
Erscheinungsvermerk	Karlsruhe 1993. (FZI report. 1993,6.)