Formal methods for interactive systems
Alan John Dix · 1991
This material is copyright. You must include this page with any portion of the book. Please refer to book web site for distribution conditions. Please note that as the book has been re-typeset for electronic distribution, page numbers may difer slightly from the original. CONTENTS Preface