Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected ... Notes in Computer Science, 4010, Band 4010) - Softcover

Dunne, Steve

 
9783540347507: Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected ... Notes in Computer Science, 4010, Band 4010)
Softcover
ISBN 10: 354034750X ISBN 13: 9783540347507
Verlag: Springer Berlin Heidelberg, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Berlin Heidelberg
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354034750X
ISBN 13 
9783540347507
Einband
Taschenbuch
Anzahl der Seiten
268
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland