Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automata Theory and Logic

Name: Automata Theory and Logic
Brand: Springer-Verlag GmbH
SKU: 49305558
Price: 43.06 EUR
Availability: InStock
Author: Martin Lange
ISBN: 9783662721537

Martin Lange

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 49305558

Založba Springer-Verlag GmbH, december 2025

This book introduces the reader into the field of automata theory and logic. It studies fundamental... Celoten opis

Koda Libristo: 49305558

104 b

43.06 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Funko Pop figurka 04 - Harry Potter - ALBUS DUMBLEDORE

Igrača

17.42 €

Consci?ncia ambiental para a revalorizaç?o das águas cinzentas Luis A. Moreno C.

Mehka

67.08 €

Nowi Tropiciele 3 Podręcznik Część 1 praca zbiorowa

Mehka

5.06 €

Con el corazon aqui Cristofer Rodriguez

Adobe ePub DRM

5.87 €

Automatisiertes Studentenergebnis-Management-System mit Oracle James Akinmosin

Mehka

52.08 €

Automatisierte Bewässerung auf Böden mit Hydrogel Hugo Thaner

Mehka

30.29 €

Autonome Navigation für Multirotor-UAVs (Quadcopter-Drohne) Srinivasan T

Mehka

36.98 €

Kakerlakensalat Jacques Zeimet

Igra

13.06 €

Tyttö, joka unohti nimensä VICTORIE Anni Virta

Mehka

14.08 €

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.