Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science, 2500)
ISBN 10: 3540003886 ISBN 13: 9783540003885
Editore: Springer, 2002
Nuovi
Brossura
Da
Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 25 marzo 2015
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
In. Codice articolo ria9783540003885_new
Riassunto:
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.
Recensione:
From the reviews:
"This book aims to be a ‘Guide to Current Research.’ ... it is a concise and uniform presentation of at least 50 papers, along with notes in various places that help the reader to put things together. It has a good bibliography ... . the book could be used as a textbook for an advanced graduate course or seminar. ... It would be a good choice for a seminar involving students." (Hans-Jörg Tiede, SIGACT News, Vol. 35 (1), 2004)
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Automata, Logics, and Infinite Games: A ...
Casa editrice: Springer
Data di pubblicazione: 2002
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Good. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition. Codice articolo mon0004046609
Compra usato
EUR 54,27
Spedizione EUR 4,23
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Automata, Logics, and Infinite Games
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes supplementary material: sn.pub/extrasA 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 found. Codice articolo 4877131
Compra nuovo
EUR 65,94
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Automata, Logics, and Infinite Games | A Guide to Current Research
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Automata, Logics, and Infinite Games | A Guide to Current Research | Erich Grädel (u. a.) | Taschenbuch | viii | Englisch | 2002 | Springer | EAN 9783540003885 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 102559183
Compra nuovo
EUR 68,45
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Automata, Logics, and Infinite Games : A Guide to Current Research
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540003885
Compra nuovo
EUR 74,89
Spedizione EUR 63,02
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Automata, Logics, and Infinite Games
Editore:
Springer Berlin Heidelberg Dez 2002, 2002
ISBN 10: 3540003886
ISBN 13: 9783540003885
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 400 pp. Englisch. Codice articolo 9783540003885
Compra nuovo
EUR 74,89
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Automata, Logics, and Infinite Games
Editore:
Springer, Springer Dez 2002, 2002
ISBN 10: 3540003886
ISBN 13: 9783540003885
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 400 pp. Englisch. Codice articolo 9783540003885
Compra nuovo
EUR 74,89
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540003885
Compra nuovo
EUR 75,69
Spedizione EUR 17,91
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Automata, Logics, and Infinite Games
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 404 Illus. Codice articolo 7517837
Compra nuovo
EUR 127,35
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Automata, Logics, and Infinite Games
Print on DemandDa: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 404. Codice articolo 26330066
Compra nuovo
EUR 132,86
Spedizione EUR 3,39
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science, 2500)
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-3540003886
Compra nuovo
EUR 141,14
Spedizione EUR 5,90
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili