info@libristo.eu
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Automata, Logics, and Infinite Games

Language EnglishEnglish
Book Paperback
Book Automata, Logics, and Infinite Games Erich Grädel
Libristo code: 01556104
Publishers Springer, Berlin, February 2003
A central aim and ever-lasting dream of computer science is to put the development of hardware and s... Full description
? points 232 b
98.26 €
Low in stock at our supplier Shipping in 10-14 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

How to Rule the World from Your Couch Laura Day / Paperback
common.buy 18.29 €
Das Fort Bernard Cornwell / Paperback
common.buy 10.69 €
Spectral Theory of Random Schrödinger Operators Reinhard Lang / Paperback
common.buy 49.98 €
Godolphin Baron Edward Bulwer Lytton Lytton / Paperback
common.buy 21.08 €
Intraindustrieller Aussenhandel Bei Vertikaler Produktdifferenzierung Markus Rose / Paperback
common.buy 48.16 €
Jesus und die Figur der Zwoelf Eva Koch / Paperback
common.buy 29.92 €
Neuroimmunology of the Skin Richard D. Granstein / Hardback
common.buy 169.12 €
Langenscheidt Alpmann Fachwörterbuch Kompakt Recht, Englisch. Langenscheidt Alpmann Dictionary of Law Concise Edition English Stuart G. Bugg / Hardback
common.buy 27.83 €
Care Planning in Mental Health - Promoting Recovery 2e Angela Hall / Paperback
common.buy 84.23 €
Body Movement and Speech in Medical Interaction Christian HeathKatherine Nicholls / Hardback
common.buy 163.55 €
Held Und Kaiser Oskar Meding / Paperback
common.buy 26.65 €
Marx, Justice and History Marshall Cohen / Hardback
common.buy 190.10 €

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

About the book

Full name Automata, Logics, and Infinite Games
Author Erich Grädel, Wolfgang Thomas, Thomas Wilke
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 385
EAN 9783540003885
ISBN 3540003886
Libristo code 01556104
Publishers Springer, Berlin
Weight 595
Dimensions 161 x 234 x 21

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account