LDR 00459nam a2200157Ia 4500 008 170106s2009||||xx |||||||||||||| ||und|| 020 _a9783642043086 082 _a621.395 _bBAR 100 _aBarkalov, Alexander 245 0 _aLogic synthesis for FSM-based control units 260 _aNew York _bSpringer _c2009 300 _axix, 233p. ; 24cm. 440 _aLecture notes in electrical engineering : v. 53 700 _a Titarenko, Larysa 942 _cBK 999 _c17426 _d17426