Library of American University of Madaba

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 / edited Marc Frappier ... [et al.]. - Berlin : Springer, 2010. - xiv, 416 p. : ill. - Lecture notes in computer science ; 5977 .

Includes bibliographical references and index.

ISBN: 9783642118104

Subjects--Topical Terms:
Logic design.
Computer software
Computer science
Computational complexity.

Dewey Class. No.: 511.3 / A164