• Livres
  • Tag : software verification

Livres — software verification

EN
Introduction à Ada

Introduction à Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Langages de programmation
RU
Introduction au langage de programmation Ada

Introduction au langage de programmation Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Langages de programmation
EN
Logique et modèles de langage pour l'informatique

Logique et modèles de langage pour l'informatique

A

Dana Richards, Henry Hamburger

Algorithmes et théorie