Dedicated to selected papers from the Conferene of Program Construction 2004 (MPC 2004) [... Seventh International Conference on the Mathematics of Program Construction. The conference took place in Stirling, Scotland in July 2004]

Bibliographische Detailangaben

Körperschaft:	MPC (BerichterstatterIn)
Weitere Verfasser:	Kozen, Dexter (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2007
Schriftenreihe:	Science of computer programming 65.2007,2
Schlagworte:	Computer programming > Computer science > Mathematics > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!