Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften:	Wolff, Burkhart (VerfasserIn), Gaudel, Marie-Claude (Sonstige), Feliachi, Abderrahmane (Sonstige)
Titel:	Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers/ edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7681
Schlagwörter:	Logic design Computer Science Computer science Software engineering Compilers (Computer programs). Machine theory. Konferenzschrift > 2012 > Paris Konferenzschrift
Verfügbar auch als:	Druck-Ausgabe Unifying theories of programming, Berlin : Springer, 2013, 247 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz