Unifying theories of programming
Subtitle: second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers
By: Andrew Butterfield (ed.).
Contributors: Butterfield, A. (Andrew)
Series: Lecture notes in computer science -- 5713; LNCS sublibrary: SL 1-theoretical computer science and general issues; Lecture notes in computer science -- 5713.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 278
ISBN-13: 9783642145209
Subjects: Computer programming; Congresses
Notes: Includes bibliographical references and index.

Also issued online.