Building High Integrity Applications with SPARK Похожие книги
Functional and Constraint Logic Programming
2019
Implementation and Application of Functional Languages
2007
Programming in Ada 2012
2014
ECOOP 2011--Object-Oriented Programming
2011
ECOOP 2010 – Object-Oriented Programming
2010
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