Advanced Lectures on Software Engineering More Books Like This
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
Engineering Theories of Software Intensive Systems
2006
Programming Languages and Systems
2008
Engineering Trustworthy Software Systems
2018