この商品を友人に教える:
Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove - Texts in Computer Science Marco T. Morazan 2024 edition
価格
¥ 10.311
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月18日 - 年9月30日
Marco T. Morazan の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove - Texts in Computer Science
Marco T. Morazan
This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. Part II starts the study of formal languages and automata theory in earnest with regular languages. Part III starts the exploration of languages that are not regular with context-free languages.
516 pages, 38 Illustrations, color; 125 Illustrations, black and white; XXIII, 516 p. 163 illus., 38
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2023年12月19日 |
| ISBN13 | 9783031439728 |
| 出版社 | Springer International Publishing AG |
| ページ数 | 524 |
| 寸法 | 164 × 241 × 116 mm · 992 g |
| 言語 | ドイツ語 |
![Cover for Marco T. Morazan · Animated Program Design: Intermediate Program Design Using Video Game Development - Texts in Computer Science (Hardcover Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/161/9783031043161.jpg?marco-t-morazan-2022-animated-program-design-intermediate-program-design-using-video-game-development-texts-in-computer-science-hardcover-book&class=scaled&v=1750200987)
![Cover for Marco T. Morazan · Animated Problem Solving: An Introduction to Program Design Using Video Game Development - Texts in Computer Science (Hardcover Book) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/906/9783030850906.jpg?marco-t-morazan-2022-animated-problem-solving-an-introduction-to-program-design-using-video-game-development-texts-in-computer-science-hardcover-book&class=scaled&v=1642982986)
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Hardcover Book) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Paperback Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-paperback-book&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Hardcover Book) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-hardcover-book&class=scaled&v=1594018037)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2026-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-hardcover-book&class=scaled&v=1774494645)
![Cover for Musculoskeletal Imaging (N/A) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/913/9783031668913.jpg?2026-musculoskeletal-imaging&class=scaled&v=1782137130)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Hardcover Book) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-hardcover-book&class=scaled&v=1774452309)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Paperback Book) [1st ed. 2017 edition] (2026)](https://imusic.b-cdn.net/images/item/original/131/9783319447131.jpg?simone-cerreia-vioglio-2026-principles-of-mathematics-for-economics-paperback-book&class=scaled&v=1606717221)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/692/9783031853692.jpg?reinhard-noll-2026-laser-induced-breakdown-spectroscopy-fundamentals-and-applications-hardcover-book&class=scaled&v=1774530627)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-hardcover-book&class=scaled&v=1778114493)
![Cover for Neculai Andrei · Modern Numerical Nonlinear Optimization - Springer Optimization and Its Applications (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/936/9783031946936.jpg?neculai-andrei-2026-modern-numerical-nonlinear-optimization-springer-optimization-and-its-applications-hardcover-book&class=scaled&v=1774528650)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-book&class=scaled&v=1780099572)
![Cover for Jose A. Mendez Dot · Atlas of Tropical Carbonates: As Exemplified by Facies of Venezuela: Past and Present (Hardcover Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/932/9783031254932.jpg?jose-a-mendez-dot-2026-atlas-of-tropical-carbonates-as-exemplified-by-facies-of-venezuela-past-and-present-hardcover-book&class=scaled&v=1774641326)