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

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised 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

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Lämmel, Ralf (Editor), Saraiva, João (Editor), Visser, Joost (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science.
Software engineering.
Logic design.
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:http://dx.doi.org/10.1007/978-3-642-35992-7
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-642-35992-7
Перейти в каталог НБ ТГУ

Similar Items