Building High Integrity Applications with SPARK المزيد من الكتب المشابهة

Functional and Constraint Logic Programming

٢٠١٩

Implementation and Application of Functional Languages

٢٠٠٧

Programming in Ada 2012

٢٠١٤

ECOOP 2011--Object-Oriented Programming

٢٠١١

ECOOP 2010 – Object-Oriented Programming

٢٠١٠

Trends in Functional Programming

٢٠١٦

Engineering Trustworthy Software Systems

٢٠١٨

Implementation and Application of Functional Languages

٢٠١١

Verified Software: Theories, Tools, Experiments

٢٠٠٨

Formal Verification of Object-Oriented Software

٢٠١١

Implementation and Application of Functional Languages

٢٠١٣

ECOOP 2008 - Object-Oriented Programming

٢٠٠٨

Introduction to Static Analysis

٢٠٢٠

Trends in Functional Programming

٢٠١٩

Programming Languages and Systems

٢٠١٥