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

Zapisane w:

Personen und Körperschaften:	Wolff, Burkhart (Autor), Gaudel, Marie-Claude (Inni), Feliachi, Abderrahmane (Inni)
Tytuł:	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
Język:	Englisch
Wydane:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7681
Hasła przedmiotowe:	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.
Źródło:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Opis
Streszczenie:	This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions
Deskrypcja:	Literaturangaben
Opis fizyczny:	Online-Ressource (VIII, 249 p. 4 illus, digital)
ISBN:	9783642357053
DOI:	10.1007/978-3-642-35705-3