Chapter 1 Introduction / Miroslav Popovic -- chapter 2 Requirements and Analysis / Miroslav Popovic -- chapter 3 Design / Miroslav Popovic -- chapter 4 Implementation / Miroslav Popovic -- chapter 5 Test and Verification / Miroslav Popovic -- chapter 6 FSM Library / Miroslav Popovic
Notes
Includes index
Bibliography
Includes bibliographical references and index
Notes
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force. WlAbNL