The evolution of programs

Materias

• Computer programming
• Abstraction
• Programmation assistée
• Programmeren (computers)
• Programmation (Informatique)
• Programmierung
• Développement logiciel
• Manipulation programme
• Softwarewartung
• Synthèse programme
• Computer programs, design

Ediciones (4)

• The evolution of programs (1983)

  Birkhäuser · inglés

• The evolution of programs (1981)

  Department of Computer Science, University of Illinois at Urbana-Champaign · inglés

• The evolution of programs (1981)

  Department of Computer Science, University of Illinois at Urbana-Champaign · inglés

• The evolution of programs (1980)

  Dept. of Computer Science, University of Illinois at Urbana-Champaign · inglés

Más obras de Nachum Dershowitz

Fields of logic and computation

Pillars of computer science

VVerification

Verification