Beginning with coverage of all standard fundamental results regarding finite automata, the book deals in great detail with BA1/4chi and Rabin automata and their applications to various logical theories such as S1S and S2S, and describes game-theoretic models of concurrent operating and communication systems.
The book is self-contained with numerous examples, illustrations, exercises, and is suitable for a two-semester undergraduate course for computer science or mathematics majors, or for a one-semester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for self-study by computer science professionals who wish to understand the foundations of modern formal approaches to software development, validation, and verification.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
Beginning with coverage of all standard fundamental results regarding finite automata, the book deals in great detail with BA1/4chi and Rabin automata and their applications to various logical theories such as S1S and S2S, and describes game-theoretic models of concurrent operating and communication systems.
The book is self-contained with numerous examples, illustrations, exercises, and is suitable for a two-semester undergraduate course for computer science or mathematics majors, or for a one-semester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for self-study by computer science professionals who wish to understand the foundations of modern formal approaches to software development, validation, and verification.
Imprint | Birkhauser Boston |
Country of origin | United States |
Series | Progress in Computer Science and Applied Logic, 21 |
Release date | June 2001 |
Availability | Expected to ship within 12 - 17 working days |
First published | 2001 |
Authors | Bakhadyr Khoussainov, Anil Nerode |
Dimensions | 235 x 155 x 25mm (L x W x T) |
Format | Hardcover |
Pages | 432 |
Edition | 2001 ed. |
ISBN-13 | 978-0-8176-4207-5 |
Barcode | 9780817642075 |
Categories | |
LSN | 0-8176-4207-2 |