Workshop Verification, Construction, and Synthesis of Programs April 6 and 7, 1989 in Karlsruhe

Bibliographische Detailangaben

Körperschaften:	Workshop Verification, Construction and Synthesis of Programs (VerfasserIn), Universität Karlsruhe Institut für Logik, Komplexität und Deduktionssysteme (BerichterstatterIn)
Weitere Verfasser:	Furbach, Ulrich (HerausgeberIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Karlsruhe Univ. of Karlsruhe, Inst. for Logic, Complexity and Deductive Systems 1989
Schriftenreihe:	Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 89,10
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!