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

Prawo cywilne - zbiór przepisów
-32%
+ do schowka
63.00 zł
42.97 zł
Dodaj do koszyka
Rabat: 20.03 zł
Cena katalogowa: 63.00 zł
Dostępność: 24h
KSIĄŻKA
Wydawca: Wolters Kluwer
Rok wydania: 2017
Miejsce wydania: 1
Stron: 1060
 
Dołącz do nas na Facebboku
Nasz newsletter


Szczególnie polecamy




Tu byłem Tony Halik

Tu byłem. Tony Halik
Mirosław Wlekły
Warszawa 2017


Food pharmacy

Food Pharmacy
Lina Nertby Aurell, Mia Clase
Kraków 2017


Magia olewania

Magia olewania
Sara Knight
 
Warszawa 2017


Milczenie

Milczenie
Endo Shusaku
 
Kraków 2017


Wagiel

Wagiel. Jeszcze wszystko będzie możliwe
Wojciech Waglewski
 
Kraków 2017


Pani Einstein

Pani Einstein
Marie Benedict
 
Kraków 2017


Od oddechu do oddechu

Od oddechu do oddechu
Wojciech Młynarski
  Warszawa 2017

Dobranoc Auschwitz

Dobranoc Auschwitz
Aleksandra Wójcik
Maciej Zdziarski
Kraków 2017

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ż:

Agnieszka Maciąg - Smak miłości
-30%
+ do schowka
KSIĄŻKA
Agnieszka Maciąg
Wydawca: Otwarte
Rok wydania: 2014
Miejsce wydania: 8
Stron: 320
49.90 zł
34.93 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
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
-35%
+ do schowka
KSIĄŻKA
Michał Rusinek
Wydawca: ZNAK
Rok wydania: 2016
Miejsce wydania: 8
Stron: 320
39.90 zł
25.93 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