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. - digital. - Lecture Notes in Computer Science, 6491 0302-9743 ; . - Lecture Notes in Computer Science, 6491 .
9783642180231
10.1007/978-3-642-18023-1 doi
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.
QA76.758
005.1
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. - digital. - Lecture Notes in Computer Science, 6491 0302-9743 ; . - Lecture Notes in Computer Science, 6491 .
9783642180231
10.1007/978-3-642-18023-1 doi
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.
QA76.758
005.1