Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers / Andrew Butterfield (ed.).

SeriesLecture notes in computer science, 0302-9743 ; 5713
LNCS sublibrary: SL 1-theoretical computer science and general issues
Lecture notes in computer science ; 5713. ^A466336
LNCS sublibrary. SL 1 Theoretical computer science and general issues. UNAUTHORIZED
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Other formsAlso issued online.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2010930465
ISBN9783642145209 (pbk. : acid-free paper)
ISBN3642145205 (pbk. : acid-free paper)