Library of American University of Madaba
Your cart is empty.
Abstract state machines, Alloy, B And Z : Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /
Authors: Frappier, Marc%editor 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 | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 511.3 A164 (Browse Shelf) | Available | JBC/2011/9085 | |
| Book |
AUM Main Library English Collections Hall | 511.3 A164 (Browse Shelf) | Available | JBC/2011/9085 |
Includes bibliographical references and index.
There are no comments for this item.