000 00525nam a2200169Ia 4500
999 _c3968
_d3968
008 161214s9999 xx 000 0 und d
020 _a0792374258
_c(hbk)
082 _a621.3136
_bFUH
100 _aFuhrer, Robert M.
245 0 _aSequential optimization of asynchronous and synchronous finite-state machines : algorithms and tools
260 _aBoston:
_bKluwer Academic Publishers,
_c2001
300 _a258 p.;
_bindex:
_c24 cm.
650 _aAsynchronous Controllers
650 _aOptimista
700 _aNowick, Steven M.
942 _2ddc
_cBK