ECU Libraries Catalog

Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / Marc Frappier ... [et al.] (Eds.).

Author/creator ABZ 2010 (2010 : Orford, Québec)
Other author/creatorFrappier, Marc, 1965-
Format Electronic and Book
Publication InfoBerlin : Springer,
Descriptionxiv, 416 p. : ill. ; 24 cm.
Supplemental Content Full text available from SpringerLink ebooks - Computer Science (2010)
Supplemental Content Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Series Lecture notes in computer science ; 5977
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2010920043
ISBN9783642118104 (softcover : alk. paper)
ISBN3642118100 (softcover : alk. paper)

Available Items

Library Location Call Number Status Item Actions
Electronic Resources View Online Content ✔ Available