Automata, Logics, and Infinite Games: A Guide to Current Research

N/A

ISBN 10: 3540003886 ISBN 13: 9783540003885

Verlag: Springer, 2002

Neu Softcover

Verk�ufer Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 27. Februar 2001

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

2002. Paperback. . . . . . Bestandsnummer des Verk�ufers V9783540003885

Diesen Artikel melden

Inhaltsangabe:

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Automata, Logics, and Infinite Games: A ...
Verlag: Springer
Erscheinungsdatum: 2002
Einband: Softcover
Zustand: New

Beste Suchergebnisse bei AbeBooks

Foto des Verk�ufers

Automata, Logics, and Infinite Games

Gr�del, Erich|Thomas, Wolfgang|Wilke, Thomas

Verlag: Springer Berlin Heidelberg, 2002

ISBN 10: 3540003886 ISBN 13: 9783540003885

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: 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. Bestandsnummer des Verk�ufers 4877131

Verk�ufer kontaktieren

Neu kaufen

EUR 65,94

EUR 48,99 Versand
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Weitere Bilder

Automata, Logics, and Infinite Games | A Guide to Current Research

Erich Gr�del (u. a.)

Verlag: Springer, 2002

ISBN 10: 3540003886 ISBN 13: 9783540003885

Neu Taschenbuch

Print-on-Demand

Anbieter: preigu, Osnabr�ck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Neu kaufen

EUR 68,45

EUR 70,00 Versand
Versand von Deutschland nach USA

Anzahl: 5 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Automata, Logics, and Infinite Games

Erich Gr�del

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2002, 2002

ISBN 10: 3540003886 ISBN 13: 9783540003885

Neu Taschenbuch

Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch. Bestandsnummer des Verk�ufers 9783540003885

Verk�ufer kontaktieren

Neu kaufen

EUR 74,89

EUR 60,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Automata, Logics, and Infinite Games : A Guide to Current Research

Erich Gr�del

Verlag: Springer Berlin Heidelberg, 2002

ISBN 10: 3540003886 ISBN 13: 9783540003885

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783540003885

Verk�ufer kontaktieren

Neu kaufen

EUR 74,89

EUR 63,02 Versand
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Automata, Logics, and Infinite Games

Erich Gr�del

Verlag: Springer Berlin Heidelberg Dez 2002, 2002

ISBN 10: 3540003886 ISBN 13: 9783540003885

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783540003885

Verk�ufer kontaktieren