Pastāsti draugiem par šo preci:
Automata Theory and Logic Martin Hofmann
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Martin Hofmann izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2025. gada 30. oktobris |
| ISBN13 | 9783662721537 |
| Izdevēji | Springer Fachmedien Wiesbaden |
| Lapas | 419 |
| Izmēri | 234 × 155 × 29 mm · 668 g |
| Valoda | Vācu |
Vairāk no Martin Hofmann
Rādīt visu![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)
Vairāk no tā paša izdevēja
![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)
Skatīt visus Martin Hofmann ( piem., Paperback Book , Hardcover Book , CD un Book )