Borger, Egon. , <br/><br/>
Abstract state machines :  a method for high-level system design and analysis / 
Egon Borger, Robert Stark. 
 - x, 438 pages :  illustrations ;  24 cm.+  1computer optical disc (4 3/4 in.). 
<br/><br/><label>ISBN: </label>3540007024 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design.<br/>Computer software --Development.<br/>Embedded computer systems.
<br/><br/><label>LC Class. No.: </label>QA76.9.S88   / .B67 2003