Special issue on the mathematics of program construction (MPC 2008) [... Ninth International Conference on the Mathematics of Program Construction, held in July 2008 at Luminy (near Marseille) in France]

Bibliographische Detailangaben

Weitere Verfasser:	Audebaud, Philippe (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2011
Schriftenreihe:	Science of computer programming 76.2011,3
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!