Unifying Theories of Programming
54 min read
Rate this book:
About This Book
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.
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
More by Huibiao Zhu
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Service-Oriented Computing - ICSOC Workshops 2012
Theoretical Aspects of Computing -- ICTAC 2013
Unifying Theories of Programmi
Unifying Theories of Programming and Formal Engineering Methods