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

Bibliographic Details
Main Author:	Börger, E. (Egon), 1946-
Other Authors:	Stärk, Robert F., 1963-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Subjects:	System design. Computer software > Development. Embedded computer systems.

Remote Storage