Springer Nature
Automata Theory And Logic-image

Automata Theory And Logic

Leggi la descrizione completa
Miglior prezzo disponibile
27,99$
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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.

Storico prezzi

Ricevi una notifica se il prezzo scende

Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.

  • Aggiornamenti dei prezzi in tempo reale
  • Oltre 50 negozi monitorati
  • Avvisi gratuiti di calo prezzo
  • Solo negozi verificati

Avvisami quando il prezzo scende sotto: 27,99$

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Automata Theory And Logic 34,99$ Introduction To Automata Theory And Formal Languages A Logic Building And Problem-Solving Approach 87,19$ Language And Automata Theory And Applications 54,99$ Automata Theory And Its Applications 39,99$ Automata Theory And Formal Languages 45,49$