Trends in Functional Programming 10 More Books Like This
Declarative Programming and Knowledge Management
2020
Verified Software. Theories, Tools, and Experiments
2016
Programming Languages
2016
Perspectives of System Informatics
2018
Compiler Construction
2009
Practical Aspects of Declarative Languages
2018
Programming Languages and Systems
2017
Software Engineering and Formal Methods
2018
Integrated Formal Methods
2020
Practical Aspects of Declarative Languages
2023
Practical Aspects of Declarative Languages
2020
Verified Software. Theories, Tools and Experiments.
2023
Formal Methods for Components and Objects
2009
Compiler Construction
2011
Algebraic Methodology and Software Technology
2008