Skip to main content

CURRENTLY SOLD OUT

Automata, Logics, and Infinite Games: A Guide to Current Research by Wolfgang Thomas, Thomas Wilke, Erich Gradel (Paperback, 2002)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540003885
eBay Product ID (ePID)
94367241

Product Key Features

Author
Wolfgang Thomas, Thomas Wilke, Erich Gradel
Publication Name
Automata, Logics, and Infinite Games: a Guide to Current Research
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2002
Type
Textbook
Number of Pages
392 Pages

Dimensions

Item Height
233mm
Item Width
155mm
Volume
2500
Item Weight
1250g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Thomas Wilke, Erich Gradel, Wolfgang Thomas
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)
No ratings or reviews yet.
AU $45.09 New
---- Used
The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Polyvagal Exercises for Safety and Connection: 50 Client-Centered Practices by Deb Dana (Paperback, 2020)
No ratings or reviews yet.
AU $53.13 New
AU $45.00 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ford Falcon EF, EL/Fairlane NF, NL/LTD DF, DL 1994-1998 Haynes Workshop Manual
AU $57.95
Trending at AU $59.33
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.01
Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)
AU $32.86
Trending at AU $36.05
Dr. Robert Melillo Disconnected Kids - Revised and Updated (Paperback)
AU $34.03
Trending at AU $41.39
The Demon-Haunted World: Science as a Candle in the Dark by Carl Sagan (English)
AU $31.59
Trending at AU $32.98

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like