The foundations of program verification

Materias

• Verification
• Computer programs
• Logiciels

Ediciones (3)

• The Foundations of Program Verification (2013)

  Vieweg+Teubner Verlag · ISBN 9783322967541

• The foundations of program verification (1987)

  Teubner · inglés

• The foundations of program verification (1984)

  Teubner · inglés

Más obras de Jacques Loeckx