Liknande böcker

Applications and Theory of Petri Nets : 32nd International Conference, P...
Bok av Lars M. Kristensen
Foundations of Software Science and Computational Structures : 15th Inte...
Bok av Lars. Birkedal
Foundations of Software Science and Computation Structures : 16th Intern...
Bok av Frank. Pfenning
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Membrane Computing : 12th International Conference, CMC 2011, Fontainebl...
Bok av Marian. Gheorghe
Formal Methods in Software and Systems Modeling : Essays Dedicated to Ha...
Bok av Hans-Jörg. Kreowski
Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloq...
Bok av Antonio. Cerone
Theoretical Aspects of Computing – ICTAC 2012 : 9th International Colloq...
Bok av Abhik. Roychoudhury

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

Bok av Burkhart. Wolff
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.