Uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. Beginning with coverage of all standard fundamental results regarding finite automata, the book deals in great detail with B�chi 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. Self-contained with numerous examples, illustrations, exercises. Suitable for a two-semester undergraduate course for computer science or math majors, or for a one-semester graduate course/seminar. No advanced mathematical background is required, thus 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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

We sell Brand New University Textbooks to students at very affordable prices. All orders are shipped by Trackable methods only and the tracking number is available within 48 hours of placing the order. We also offer free shipping to USA, Canada and Europe and lowest shipping charges in other countries. We have multiple warehouses to save on the transit time.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

SMASS Group LLC
1944 Loma Linda Dr, Irving, TX, 75063, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

We sell Brand New Textbooks requied for studies in the Univesity. We have been in this business for the past 14 years and we know how to keep our customers happy and satisfies by providing them the required course material and the most affordable prices.

Conditions d'exp�dition

We ship all orders from our Multiple warehouses by Tracakble method only. We have tie up with Fedex, DHL, UPS and USPS for our logistics requirements. All tracking numbers are available within 48 hours of processing the order.