Povej prijatelju o tem izdelku:
Automata Theory and Logic Martin Hofmann
Cena
€ 44,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 2. - 10. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Martin Hofmann
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja 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.
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 30. oktobra 2025 |
| ISBN13 | 9783662721537 |
| Založniki | Springer Fachmedien Wiesbaden |
| Strani | 419 |
| Dimenzije | 234 × 155 × 29 mm · 668 g |
| Jezik | Nemščina |
![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 Christian Bohn · Regelungstechnik III: Identifikation, Adaption, Optimierung (Paperback Book) [8. Auflage 2026 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 Michael Hilgers · Fuel Consumption and Consumption Optimization - Commercial Vehicle Technology (Paperback Book) [Third Edition 2027 Edition] (2027)](https://imusic.b-cdn.net/images/item/original/122/9783662738122.jpg?michael-hilgers-2027-fuel-consumption-and-consumption-optimization-commercial-vehicle-technology-paperback-book&class=scaled&v=1780321470)
![Cover for Boris Tolg · Computer science to the Point: Computer science for Life Sciences Students and Other Non-Computer Scientists (Paperback Book) [Second Edition 2027 Edition] (2027)](https://imusic.b-cdn.net/images/item/original/257/9783658518257.jpg?boris-tolg-2027-computer-science-to-the-point-computer-science-for-life-sciences-students-and-other-non-computer-scientists-paperback-book&class=scaled&v=1780321489)
![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)