Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Gibbons, Jeremy (VerfasserIn), Nogueira, Pablo (Sonstige)
Titel:	Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings/ edited by Jeremy Gibbons, Pablo Nogueira
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7342
Schlagwörter:	Logic design Computational complexity Computer science Software engineering Computer Science Machine theory. Discrete mathematics. Compilers (Computer programs). Konferenzschrift > 2012 > Madrid
Buchausg. u.d.T.:	Mathematics of program construction, Berlin : Springer, 2012, X, 362 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz