Book Title: Programming-Based Formal Languages and Automata Theory
Book Subtitle: Design, Implement, Validate, and Prove
Authors: Marco T. Morazán
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-3-031-43973-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Hardcover ISBN: 978-3-031-43972-8Published: 19 December 2023
Softcover ISBN: 978-3-031-43975-9Due: 19 January 2024
eBook ISBN: 978-3-031-43973-5Published: 18 December 2023
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: XXIII, 524
Number of Illustrations: 125 b/w illustrations, 38 illustrations in colour