Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Automata Theory and Logic

Lingua IngleseInglese
Libro In brossura
Libro Automata Theory and Logic Martin Lange
Codice Libristo: 49305558
Casa editrice Springer-Verlag GmbH, dicembre 2025
This book introduces the reader into the field of automata theory and logic. It studies fundamental... Descrizione completa
? points 110 b
44.99 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Funko Pop figurka 04 - Harry Potter - ALBUS DUMBLEDORE / Gioco/giocattolo Giocattolo
common.buy 16.29 €
Consci?ncia ambiental para a revalorizaç?o das águas cinzentas Luis A. Moreno C. / Libro In brossura
common.buy 70.29 €
Nowi Tropiciele 3 Podręcznik Część 1 praca zbiorowa / Libro In brossura
common.buy 4.49 €
Con el corazon aqui Cristofer Rodriguez / Libro elettronico Adobe ePub DRM
common.buy 5.59 €
Automatisiertes Studentenergebnis-Management-System mit Oracle James Akinmosin / Libro In brossura
common.buy 54.49 €
Automatisierte Bewässerung auf Böden mit Hydrogel Hugo Thaner / Libro In brossura
common.buy 31.69 €
Puzzle dwustronne Maxi 35 Kraina Lodu / Gioco/giocattolo Giocattolo
common.buy 9.39 €
Autonome Navigation für Multirotor-UAVs (Quadcopter-Drohne) Srinivasan T / Libro In brossura
common.buy 38.79 €
Kakerlakensalat Jacques Zeimet / Gioco/giocattolo Gioco
common.buy 11.99 €
Tyttö, joka unohti nimensä VICTORIE Anni Virta / Libro In brossura
common.buy 12.49 €

This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and presents their applications for logics used in program verification. The presentation of such concepts some of which are 50 years old or more is given in a modern style and is accompanied by many exercises. The book can be used for self-study or as a basis for a graduate course on automata and logic, presupposing knowledge on finite automata and regular languages of finite words only.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Automata Theory and Logic
Autore Martin Lange
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2025
Numero di pagine 440
EAN 9783662721537
ISBN 3662721538
Codice Libristo 49305558
Casa editrice Springer-Verlag GmbH
Peso 663

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Automated Machine Learning / Libro Rigido
common.buy 171.39 €
CHRISTMAS CHEER ACTIVITY BAG FIVE MILE / Libro In brossura
common.buy 6.19 €
Digitalization of Higher Education using Cloud Computing S. L. Gupta / Libro elettronico Adobe ePub DRM
common.buy 71.19 €
Nonlinear Wave Equations Tatsien Li / Libro elettronico Adobe ePub DRM
common.buy 136.69 €
Christian Tradition: A History of the Development of Doctrine, Volume 3 Jaroslav Pelikán / Libro In brossura
common.buy 18.59 €
Automating Building Energy Management for Accelera ted Building Decarbonization James (University of California Santa Cruz Extension) Kempf / Libro Rigido
common.buy 101.09 €
I migliori
Automate the Boring Stuff with Python, 3rd Edition SWEIGART AL / Libro In brossura
common.buy 35.49 €
Handbook of Gastrointestinal Motility and Disorders of Gut-Brain Interactions Satish S.C. Rao / Libro elettronico Adobe ePub DRM
common.buy 171.59 €
Pacific War Dale Dye / Libro elettronico Adobe ePub DRM
common.buy 11.19 €
Abolition and the African American Story Williams Dockery / Libro Rigido
common.buy 12.89 €
Exploring Rating Scale Functioning for Survey Research Stefanie A. Wind / Libro elettronico Adobe ePub DRM
common.buy 34.29 €
Digital Productivity Toolkit for Small Business Owners: Practical Strategies to Maximize Efficiency and Growth Tom Austin / Libro elettronico Adobe ePub DRM
common.buy 2.79 €
AutoCAD & AutoCAD LT All-In-One for Dummies Ambrosius / Libro In brossura
common.buy 33.29 €
Automated irrigation in soils with hydrogel Hugo Thaner / Libro In brossura
common.buy 31.69 €
Christ, the Great Marlin Andrew McMillan / Libro In brossura
common.buy 13.29 €
Autofiction: Narrating the Sensitive Larissa Muraveva / Libro Rigido
common.buy 104.19 €
Christian Schools and Scholars / Libro Rigido
common.buy 92.99 €
Economico
Pygmalion SHAW GEORGE BERNARD / Libro In brossura
common.buy 5.69 €
Troubled Waters Gary Chamberlain / Libro In brossura
common.buy 44.89 €
Advances In Geosciences - Volume 4: Hydrological Science (Hs) Park Namsik / Libro Rigido
common.buy 206.09 €
Neuroproteomics Ka Wan Li / Libro In brossura
common.buy 144.29 €
How To Write For Kids' Magazines: While Working on a Debut Novel Vicki H Moss / Libro In brossura
common.buy 12.49 €
Mrs Warrens Profession George Bernard Shaw / Libro In brossura
common.buy 9.99 €
Beethoven and his Nine Symphonies George Grove / Libro In brossura
common.buy 27.39 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?