• Livres
  • Tag : proof-carrying code

Livres — proof-carrying code

EN
Sujets avancés sur les types et les langages de programmation

Sujets avancés sur les types et les langages de programmation

A

Benjamin C. Pierce (editor)

Langages de programmation