This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks.
Read More
Specifications
Dimensions
Height
235 mm
Length
155 mm
Weight
850 gr
Series & Set Details
Series Name
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Book Details
Title
Unifying Theories of Programming
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Product Form
Paperback
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Genre
Computers
Source Type
N
ISBN13
9783540347507
Book Category
Higher Education and Professional Books
BISAC Subject Heading
COM051000
Book Subcategory
Computing and Information Technology Books
ISBN10
9783540347507
Language
English
Be the first to ask about this product
Safe and Secure Payments.Easy returns.100% Authentic products.