Logical theory for program construction 25.2. - 1.3.1991

Bibliographische Detailangaben

Körperschaften:	Internationales Begegnungs- und Forschungszentrum für Informatik (BerichterstatterIn), Workshop Logical Theory for Program Construction (BerichterstatterIn)
Weitere Verfasser:	Finance, Jean-Pierre (BerichterstatterIn), Jähnichen, Stefan (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Wadern IBFI GmbH 1991
Schriftenreihe:	Dagstuhl-Seminar-Report 7
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!