Cover Image

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers /

This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011. The school prese...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Lämmel, Ralf. (Editor, http://id.loc.gov/vocabulary/relators/edt), Saraiva, João. (Editor, http://id.loc.gov/vocabulary/relators/edt), Visser, Joost. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Programming and Software Engineering ; 7680
Subjects:
Software engineering.
Computer logic.
Programming languages (Electronic computers).
Computer programming.
Mathematical logic.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Software Engineering/Programming and Operating Systems.
Online Access:https://doi.org/10.1007/978-3-642-35992-7

Internet

https://doi.org/10.1007/978-3-642-35992-7

Similar Items