Borger, Egon
Abstract State Machines: a method for high-level systemdesign and analysis Egon Borger - Berlin Springer 2003 - x, 438p. + 1 CD-ROM
9783540007029
Embedded computer systems
Computer software -- Development
System design.
004.21 BOR
Abstract State Machines: a method for high-level systemdesign and analysis Egon Borger - Berlin Springer 2003 - x, 438p. + 1 CD-ROM
9783540007029
Embedded computer systems
Computer software -- Development
System design.
004.21 BOR