Recomienda este artículo a tus amigos:
Automata Theory and Logic Martin Hofmann
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Martin Hofmann
Nuestros clientes opinan:
Añadir a tu lista de deseos de 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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de octubre de 2025 |
| ISBN13 | 9783662721537 |
| Editores | Springer Fachmedien Wiesbaden |
| Páginas | 419 |
| Dimensiones | 234 × 155 × 29 mm · 668 g |
| Lengua | Alemán |
Mas por Martin Hofmann
Mostrar todo![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)
Más del mismo editor
![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 Niklas Luhmann · Schriften zur Organisation 6: Kommentar • Verzeichnisse • Register (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-hardcover-book&class=scaled&v=1590392582)
![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 Robert Jupner · Flood Emergency Management (Hardcover Book) [2nd Second 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/590/9783658512590.jpg?robert-jupner-2026-flood-emergency-management-hardcover-book&class=scaled&v=1780321491)
![Cover for Michael Hilgers · Fuel Consumption and Consumption Optimization - Commercial Vehicle Technology (Paperback Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/122/9783662738122.jpg?michael-hilgers-2026-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 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/257/9783658518257.jpg?boris-tolg-2026-computer-science-to-the-point-computer-science-for-life-sciences-students-and-other-non-computer-scientists-paperback-book&class=scaled&v=1780321489)
Ver todo de Martin Hofmann ( Ej. Paperback Book , Hardcover Book , CD y Book )