X
Aby zapewnić najwyższy komfort użytkowania wykorzystujemy informacje przechowywane w przeglądarce internetowej. Sprawdź Politykę Prywatności.
Korzystając ze strony wyrażasz zgodę na używanie plików cookies, zgodnie z aktualnymi ustawieniami przeglądarki.
Wartość:
Twój koszyk: Produktów (0)

Książka Tygodnia

ks. Józef Naumowicz - Historia świątecznej choinki
-32%
+ do schowka
39.90 zł
27.13 zł
Dodaj do koszyka
Rabat: 12.77 zł
Cena katalogowa: 39.90 zł
Dostępność: do 72h
KSIĄŻKA
ks. Józef Naumowicz
Wydawca: Literackie
Rok wydania: 2016
Miejsce wydania: 8
Stron: 336
 
Dołącz do nas na Facebboku
Nasz newsletter


Szczególnie polecamy




Kukuczka

Kukuczka
Dariusz Kortko
Marcin Pietraszewski
Warszawa 2016


Dzielnica występku

Dzielnica występku
Mario Vargas Llosa
Kraków 2016


Sztuka zwycięstwa

Sztuka zwycięstwa
Phil Knight
 
Poznań 2016


Hygge. Klucz do szczęścia

Hygge. Klucz do szczęścia
Meik Wiking
Warszawa 2016


Dasz radę

Dasz radę. Ostatnia rozmowa
Jan Kaczkowski,
Joanna Podsadecka
 
Kraków 2016


Niebzepieczne związki Andrzeja Leppera

Niebezpieczne związki Andrzeja Leppera
Wojciech Sumliński
Warszawa 2016


Nowy car

Nowy car
Steven Lee Myers
Katowice 2016

Świat Chrystusa

Świat Chrystusa. T.1
Wojciech Roszkowski
Kraków 2016

Pokaz

382.08 zł

Rabat: 15.92 zł
Cena katalogowa: 398.00 zł
Produkt niedostępny

Poleć znajomym

KSIĄŻKA

Automata Theory & its Applications

Anil Nerode,Bakhadyr Khoussainov
Wydawca: Birkhauser
Rok wydania: 2001
Stron: 446
ISBN: 9780817642075

Opis:

Automata and Their Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook fills an important gap in the literature. Beginning with coverage of all standard fundamental results regarding finite automata, the book deals Buchi and Rabin automata and their applications to operating systems, temporal logic and communication systems, as well as to various logical theories. The book is self-contained with numerous examples, illustrations, exercises, and is suitable for a two-semester undergraduate course or a one-semester graduate course/seminar. Since no advanced mathematical background is required, the text is also useful for self-study by computer science professionals who wish to understand the foundations of modern formal approaches to software development, validation, and verification. "The aim of this book is to present a theory of several types of automata and applications of these facts in logic, concurrency and algebra. ...The book contains suitable material for a two-semester course for students of computer science or mathematics. It is completely self-contained and one can really enjoy reading it. It is strongly recommended for researchers and postgraduate students interested in logic, automata and/or concurrency." --EMS

Klienci, którzy kupili Automata Theory & its Applicati… wybrali również:

Luca Dotti - Audrey w domu. Wspomnienia o mojej mamie
-32%
+ do schowka
KSIĄŻKA
Luca Dotti
Wydawca: Literackie
Rok wydania: 2016
Miejsce wydania: 8
Stron: 204
44.90 zł
30.53 zł
Dodaj do koszyka
Michał Rusinek - Nic zwyczajnego. O Wisławie Szymborskiej
-34%
+ do schowka
KSIĄŻKA
Michał Rusinek
Wydawca: ZNAK
Rok wydania: 2016
Miejsce wydania: 8
Stron: 320
39.90 zł
26.33 zł
Dodaj do koszyka
David Bez - Sałat love
-33%
+ do schowka
KSIĄŻKA
David Bez
Wydawca: Buchmann
Rok wydania: 2015
Miejsce wydania: 189
Stron: 304
50.00 zł
33.50 zł
Dodaj do koszyka
Grażyna Osiłka - Tożsamość osobowa w epoce cyfrowych technologii...
-33%
+ do schowka
KSIĄŻKA
Grażyna Osiłka
Wydawca: UNIVERSITAS
Rok wydania: 2016
Miejsce wydania: 8
Stron: 236
39.00 zł
26.13 zł
Dodaj do koszyka
 
1
|
2
|
3
 

Recenzje i oceny

Brak recenzji!

Dodaj swoją recenzję i ocenę

Twoja ocena:

Twój podpis:
Dodaj recenzję


Znajdujesz się w dziale Książki
Aktualnie oglądasz produkt Automata Theory & its Applications - Anil Nerode,Bakhadyr Khoussainov
W każdej chwili moźesz przejść do innych produktów z kategorii Zagraniczne
Zawsze możesz przejrzeć dział Nowości lub zobaczyć, co wkrótce ukaże się w naszej księgarni internetowej, czyli przejść do działu Zapowiedzi
tel/fax +81 537 65 10