Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automata, Logics, and Infinite Games

Name: Automata, Logics, and Infinite Games
Brand: Springer, Berlin
SKU: 01556104
Price: 297.19 PLN
Availability: InStock
Author: Erich Grädel
ISBN: 9783540003885

A Guide to Current Research

Erich Grädel

Wolfgang Thomas

Thomas Wilke

Język

Angielski

Książka Miękka

Kod Libristo: 01556104

Wydawnictwo Springer, Berlin, luty 2003

A central aim and ever-lasting dream of computer science is to put the development of hardware and s... Cały opis

Kod Libristo: 01556104

165 b

297.19 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kicia Kocia. Wielka kłótnia Anita Głowińska

Miękka

12.96 zł

Le mystere de l'arachide Dominique Memmi

Adobe ePub DRM

25.94 zł

Come nascono i bebè? Rachel Greener

Książka

72.71 zł

DICTIONNAIRE ENCYCLOPEDIQUE DU LIVRE 3 VOLS. + INDEX Książka

binding.

2 513.28 zł

Comment on devient sorcier Jean-Eugène Robert-Houdin

Miękka

145.02 zł

HENRY PURCELL: YE TUNEFUL MUSES, RAISE YOUR HEADS (VOCAL SCORE) CHANT PURCELL Książka

binding.

50.78 zł

Heidi Lehr- und Wanderjahre - Die ganze Geschichte Ute Simon

Twarda

80.95 zł

Die Wirtschaftliche Rivalitat Zwischen Deutschland Und England Ernst Sieper

Twarda

445.24 zł

Seksen Günde Devr-i lem Jules Verne

Miękka

42.13 zł

Das Fort Bernard Cornwell

Miękka

73.81 zł

Klänge der Natur: Was hörst du auf dem Bauernhof?, m. Soundeffekten Sam Taplin

Leporelo

55.41 zł

Du Gouvernement Interieur Des Colleges Et Des Classes Rollin-C

Miękka

86.38 zł

Jesus und die Figur der Zwoelf Eva Koch

Miękka

102.78 zł

Erfolg Trotz Fuhrung Herbert Gölzner

Miękka

290.85 zł

Intraindustrieller Aussenhandel Bei Vertikaler Produktdifferenzierung Markus Rose

Miękka

174.89 zł

Held Und Kaiser Oskar Meding

Miękka

91.61 zł

Tornando-se mentalmente resistente em Fisiculturismo usando Meditacao Joseph Correa

Miękka

111.93 zł

Electrónica aplicada Pablo Alcalde San Miguel

Miękka

186.46 zł

Langenscheidt Alpmann Fachwörterbuch Kompakt Recht, Englisch. Langenscheidt Alpmann Dictionary of Law Concise Edition English Stuart G. Bugg

Twarda

101.67 zł

Memoires d'Un Ex-Fonctionnaire Confidentiel Du Ministere de l'Interieur. Livraison 5 Sans Auteur

Miękka

51.48 zł

sexuelle Krise Grete Meisel-Hess

Twarda

134.76 zł

13 Modern Artists Children Should Know Brad Finger

Twarda

92.32 zł

Konzept eines webbasierten Expertenverzeichnis Marco Vögeli

Miękka

260.08 zł

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.