Generative and Transformational Techniques in Software Engineering III
Fernandes, João M.
Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / [electronic resource] : edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6491 0302-9743 ; .
9783642180231
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Mathematical Logic and Formal Languages
Software Engineering/Programming and Operating Systems
Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / [electronic resource] : edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6491 0302-9743 ; .
9783642180231
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Mathematical Logic and Formal Languages
Software Engineering/Programming and Operating Systems