Cargando…

Formal Languages and Compilation

Mostrar otras versiones (1)

This fully revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying Formal Languages and Compilation. Retaining the reader-friendly, minimalist style of the first edition, this uniquely versatile textbook describes the essential principles and meth...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Crespi Reghizzi, Stefano (Autor), Breveglieri, Luca (Autor), Morzenti, Angelo (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	London : Springer London : Imprint: Springer, 2013.
Edición:	2nd ed. 2013.
Colección:	Texts in Computer Science,
Temas:	Machine theory. Formal Languages and Automata Theory.
Acceso en línea:	Texto Completo

Ejemplares similares

Formal Languages and Compilation
por: Crespi Reghizzi, Stefano
Publicado: (2009)

Agent Technology from a Formal Perspective
Publicado: (2006)

Type Systems for Distributed Programs: Components and Sessions
por: Dardha, Ornela
Publicado: (2016)

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
Publicado: (2016)

Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings /
Publicado: (2014)

Formal Grammar 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings /
Publicado: (2013)

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Publicado: (2009)

Refinement in Z and Object-Z Foundations and Advanced Applications /
por: Derrick, John, et al.
Publicado: (2014)

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /
Publicado: (2009)

Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2010)

A Proof Theory for Description Logics
por: Rademaker, Alexandre
Publicado: (2012)

Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2014)

Logic for Computer Scientists
por: Schöning, Uwe
Publicado: (2008)

Mathematical Logic for Computer Science
por: Ben-Ari, Mordechai
Publicado: (2012)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Grammars for Language and Genes Theoretical and Empirical Investigations /
por: Chiang, David
Publicado: (2012)

Logics of Specification Languages
Publicado: (2008)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Publicado: (2016)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
Publicado: (2015)

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
Publicado: (2014)

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
Publicado: (2016)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Publicado: (2014)

New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers /
Publicado: (2012)

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday /
Publicado: (2014)

Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /
Publicado: (2016)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings /
Publicado: (2013)

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
por: Doberkat, Ernst-Erich
Publicado: (2015)

Reactive Kripke Semantics
por: Gabbay, Dov M.
Publicado: (2013)

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
Publicado: (2016)

Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011)

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings /
Publicado: (2014)

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
Publicado: (2015)

Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings /
Publicado: (2008)

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Publicado: (2009)

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /
Publicado: (2005)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
Publicado: (2016)

Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings /
Publicado: (2009)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
Publicado: (2005)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
Publicado: (2016)

Formal Grammar 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 /
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_co16ajshpal7iq8ds3i07a564o