TY - BOOK AU - Wagner,Ferdinand TI - Modeling software with finite state machines: a practical approach SN - OPE0000989(Local) PY - 2006/// CY - Boca Raton, FL PB - Auerbach KW - Computer software KW - Development KW - Machine theory N1 - Includes bibliographical references and index ER -