Borger, Egon <br/><br/>
Abstract State Machines: a method for high-level systemdesign and analysis 
Egon Borger 
 - Berlin  Springer  2003 
 - x, 438p. + 1 CD-ROM 
<br/><br/><label>ISBN: </label>9783540007029 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems<br/>Computer software -- Development<br/>System design.
<br/><br/><label>Dewey Class. No.: </label>004.21 BOR