Unifying Theories of Programming
Subtitle: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Steve Dunne (Editor); Bill Stoddart (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 28, 2006
Language: eng
Format: Paperback
Number of pages: 257
ISBN-13: 9783540347507
Subjects: Computer Programming; Programming - Software Development; Computers; Computers - General Information; Computer Books: Languages; Programming Languages - General; Computer Science; CCS; CSP; Computers / Computer Science; Z methodology; design algebra; object-orientation; programming theory; reactive design; real-time programming; relational methods; reversible computation; theory unification; Programming - General