Special issue on the mathematics of program construction (MPC 2008)

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	MPC (BerichterstatterIn)
Weitere Verfasser:	Audebaud, Philippe (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2011
Schriftenreihe:	Science of computer programming 76,3
Schlagworte:	Mathematische Methode > Softwareentwicklung > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Einzelaufnahme eines Zeitschr.-Heftes
Beschreibung:	S. 159 - 224 graph. Darst.