ECU Libraries Catalog

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.).

Other author/creatorGurevich, Yuri.
Format Electronic and Book
Publication InfoBerlin ; New York : Springer,
Description379 p. : ill. ; 24 cm.
Supplemental Content Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Series Lecture notes in computer science ; 1912
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 00064121
ISBN3540679596 (softcover : alk. paper)

Available Items

Availability data is currently unavailable.