Advanced Lectures on Software Engineering 비슷한 책 더 보기
ECOOP 2010 – Object-Oriented Programming
2010년
Verified Software: Theories, Tools, Experiments
2008년
Runtime Verification
2008년
Implementation and Application of Functional Languages
2011년
Verified Software: Theories, Tools, and Experiments
2016년
Practical Aspects of Declarative Languages
2011년
Central European Functional Programming School
2019년
Practical Aspects of Declarative Languages
2009년
Practical Aspects of Declarative Languages
2010년
Programming Languages and Systems
2015년
Specification of Software Systems
2011년
Trends in Functional Programming
2018년
Trends in Functional Programming
2019년
Compiler Construction
2010년
Engineering Theories of Software Intensive Systems
2006년