Conte aos seus amigos sobre este item:
Automata Theory and Logic Martin Hofmann
Preço
R$ 263,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 29 de set - 5 de out
Receba avisos sobre novos lançamentos de Martin Hofmann
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Automata Theory and Logic
Martin Hofmann
This book introduces the reader into the field of automata theory and logic. 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.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 30 de outubro de 2025 |
| ISBN13 | 9783662721537 |
| Editoras | Springer Fachmedien Wiesbaden |
| Páginas | 419 |
| Dimensões | 234 × 155 × 29 mm · 668 g |
| Idioma | Alemão |
![Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Paperback Book) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/995/9783658340995.jpg?martin-hofmann-2022-a-holistic-approach-to-process-optimisation-tools-and-practical-examples-to-create-efficient-workflows-management-for-professionals-paperback-book&class=scaled&v=1695938097)
![Cover for Martin Hofmann · Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen fur effiziente Arbeitsablaufe (Paperback Book) [1. Aufl. 2020 edition] (2019)](https://imusic.b-cdn.net/images/item/original/257/9783658266257.jpg?martin-hofmann-2019-prozessoptimierung-als-ganzheitlicher-ansatz-mit-konkreten-praxisbeispielen-fur-effiziente-arbeitsablaufe-paperback-book&class=scaled&v=1575891903)
![Cover for Martin Hofmann · Extensional Constructs in Intensional Type Theory - Distinguished Dissertations (Paperback Book) [Softcover reprint of the original 1st ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/433/9781447112433.jpg?martin-hofmann-2011-extensional-constructs-in-intensional-type-theory-distinguished-dissertations-paperback-book&class=scaled&v=1410058149)
![Cover for Martin Hofmann · Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceed (Paperback Book) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/045/9783642198045.jpg?martin-hofmann-2011-foundations-of-software-science-and-computational-structures-14th-international-conference-fossacs-2011-held-as-part-of-the-joint-european-conference-on-theory-and-practice-of-software-etaps-2011-saarbrucken-germany-march-26-april-3-201&class=scaled&v=1493486598)
![Cover for Martin Hofmann · Automatentheorie Und Logik (Paperback Book) [German, 2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/897/9783642180897.jpg?martin-hofmann-2011-automatentheorie-und-logik-paperback-book&class=scaled&v=1408480144)
![Cover for Martin Hofmann · Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/326/9783540403326.jpg?martin-hofmann-2003-typed-lambda-calculi-and-applications-6th-international-conference-tlca-2003-valencia-spain-june-10-12-2003-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1493486567)
![Cover for Martin Hofmann · Konzeption Eines Prozessinformations- Und -Managementsystems (Paperback Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/615/9783824461615.jpg?martin-hofmann-1995-konzeption-eines-prozessinformations-und-managementsystems-paperback-book&class=scaled&v=1493442390)
![Cover for Handbuch Anarchismus 1: Leben, Werke und Wirkungsgeschichte (Hardcover Book) [1. Aufl. 2021 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Patrick Ulrich · Governance, Compliance und Risikomanagement: Leitfaden fur wertschopfungsorientierte Unternehmensfuhrung (Paperback Book) [1. Aufl. 2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/959/9783658078959.jpg?patrick-ulrich-2027-governance-compliance-und-risikomanagement-leitfaden-fur-wertschopfungsorientierte-unternehmensfuhrung-paperback-book&class=scaled&v=1486362269)
![Cover for Nina Baur · Verlaufsmusteranalyse: Entwurf einer prozessorientierten Methodologie (Paperback Book) [2. Auflage 2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/989/9783531198989.jpg?nina-baur-2027-verlaufsmusteranalyse-entwurf-einer-prozessorientierten-methodologie-paperback-book&class=scaled&v=1490013382)
![Cover for Niklas Luhmann · Schriften zur Organisation 6: Kommentar • Verzeichnisse • Register von Ernst Lukas und Veronika Tacke (Hardcover Book) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/355/9783658234355.jpg?niklas-luhmann-2027-schriften-zur-organisation-6-kommentar-verzeichnisse-register-von-ernst-lukas-und-veronika-tacke-hardcover-book&class=scaled&v=1590392582)
![Cover for Stefan Hunziker · Research Design in Business and Management: A Practical Guide for Students and Researchers (Paperback Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/440/9783658527440.jpg?stefan-hunziker-2026-research-design-in-business-and-management-a-practical-guide-for-students-and-researchers-paperback-book&class=scaled&v=1788248334)
