Formal Languages and Compilation
Whereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity of the underlying *theory* that allows students to acquire the fundamental paradigms of language structures, to avoid pitfalls such as ambiguity, and to adequately map structu...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | Crespi Reghizzi, Stefano (Auteur) |
| Collectivité auteur: | SpringerLink (Online service) |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
London :
Springer London : Imprint: Springer,
2009.
|
| Édition: | 1st ed. 2009. |
| Collection: | Texts in Computer Science,
|
| Sujets: | |
| Accès en ligne: | Texto Completo |
Documents similaires
-
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Publié: (2014) -
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Publié: (2016) -
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Publié: (2015) -
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
Publié: (2015) -
Concrete Semantics With Isabelle/HOL /
par: Nipkow, Tobias, et autres
Publié: (2014)


