Stark, Robert

Abstract state machines : a method for high-level system design and analysis - Berlin: Springer, 2003 - x, 432 p.; : 24 cm.

3540007024 hbk


Computer software
Embedded computer systems
System design

004.21 / BOR

Powered by Koha