Construction, amélioration et vérification de programmes Colloque, Arc-et-Senans, 1.-3.7.1975

Bibliographische Detailangaben

Körperschaft:	Institut de Recherche d'Informatique et d'Automatique (BerichterstatterIn)
Weitere Verfasser:	Huet, Gérard (HerausgeberIn)
Format:	UnknownFormat
Sprache:	fre
Veröffentlicht:	Rocquencourt Institute de Recherche d'Informatique et d'Automatique 1975
Schriftenreihe:	Colloques IRIA
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!