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

Gespeichert in:

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 (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Karlsruhe Inst. for Logic, Complexity and Deductive Systems 1989
Schriftenreihe:	Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1989,10
Schlagworte:	Softwareentwicklung > Programmverifikation > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	85 S.