Normal View MARC View ISBD View

Abstract state machines, Alloy, B And Z : Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /

Authors: Frappier, Marc Series: Lecture notes in computer science ; . 5977 Published by : Springer, (Berlin : ) Physical details: xiv, 416 p. : ill. ISBN: 3642118100 Subject(s): Logic design. | Computer software | Computer science | Computational complexity. Year: 2010
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Date Due
Book Book AUM Main Library English Collections Hall 511.3 A164 (Browse Shelf) Available
Book Book AUM Main Library English Collections Hall 511.3 A164 (Browse Shelf) Available

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.