Abstract state machines : a method for high-level system design and analysis /

by Bumlorger, E.

Authors: Stark, Robert%author Published by : Springer, (Berlin :) Physical details: x, 438 p. : ill. ; 24 cm. + ISBN: 3540007024 Subject(s): System design. | Computer software %Development. | Embedded computer systems. Year: 2003

Online Resources:

Publisher description

Tags from this library:

No tags from this library for this title.

Item type	Location	Call Number	Status
Book	AUM Main Library	004.21 B941 (Browse Shelf)	Available
Book	AUM Main Library	004.21 B941 (Browse Shelf)	Available
Book	AUM Main Library	004.21 B941 (Browse Shelf)	Available

Browsing AUM Main Library Shelves Close Shelf Browser


	004.21 B477Systems analysis and design for the global enterprise /	004.21 B941Abstract state machines :	004.21 B941Abstract state machines :	004.21 B941Abstract state machines :	004.21 D457Global perspectives on design science research 5th international Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010, proceedings /	004.21 E967Exploring digital design :

Includes bibliographical references (p. [379]-428) and index.

System requirements: Internet browser, AcrobatReader, PowerPoint, 15 MB free hard disk space.

There are no comments for this item.

Library of American University of Madaba

Public Lists

Abstract state machines : a method for high-level system design and analysis /

by Bumlorger, E.

Browsing AUM Main Library Shelves Close Shelf Browser

Search for this title in: