Mathematics of program construction 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : proceedings / Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.).

SeriesLecture notes in computer science, 0302-9743 ; 6120
LNCS sublibrary: SL 1-theoretical computer science and general issues
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 2010927075
ISBN3642133207 (pbk. : alk. paper)
ISBN9783642133206 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available