Mathematics of program construction 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	MPC (BerichterstatterIn)
Weitere Verfasser:	Audebaud, Philippe (HerausgeberIn), Paulin-Mohring, Christine (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2008
Schriftenreihe:	Lecture notes in computer science 5133
Schlagworte:	Computer programming > Congresses > Computer science > Mathematics > Konferenzschrift > Softwareentwicklung > Mathematische Methode
Online Zugang:	Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!