Building High Integrity Applications with SPARK More Books Like This
Functional and Constraint Logic Programming
2019
Programming in Ada 2012
2014
ECOOP 2011--Object-Oriented Programming
2011
Trends in Functional Programming
2016
Engineering Trustworthy Software Systems
2018
Implementation and Application of Functional Languages
2011
Verified Software: Theories, Tools, Experiments
2008
Formal Verification of Object-Oriented Software
2011
Implementation and Application of Functional Languages
2013
ECOOP 2008 - Object-Oriented Programming
2008
Introduction to Static Analysis
2020
Trends in Functional Programming
2019
Programming Languages and Systems
2015
Implementation and Application of Functional Languages
2008
Practical Aspects of Declarative Languages
2010