Publisher: Springer; 2006 edition (October 10, 2008)
Format: PDF / Kindle / ePub
Size: 7.7 MB
Downloadable formats: PDF
This publication constitutes the completely refereed post-proceedings of the 1st overseas Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth fortress, County Durham, united kingdom, in February 2006. The e-book offers 14 revised complete papers. in keeping with the pioneering paintings on unifying theories of programming by way of Tony Haare and Jifeng He, UTP 2006 excited by the main major effects and raised information of the advantages of unifying theoretical frameworks.
Read Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Papers (Lecture Notes in Computer Science) ending
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science) genre