Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (2013) (Lecture Notes in Computer Science #7681)

By: Burkhard Wolff and Marie-Claude Gaudel and Abderrahmane Feliachi

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis: 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.

Book Quality:: Publisher Quality
ISBN-13:: 9783642357053
Related ISBNs:: 9783642357046
Publisher:: Springer Berlin Heidelberg
Date of Addition:: 07/10/22
Copyrighted By:: N/A
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
Submitted By:: Bookshare Staff
Usage Restrictions:: This is a copyrighted book.
Edited by:: Burkhard Wolff
Edited by:: Marie-Claude Gaudel
Edited by:: Abderrahmane Feliachi