Département d
10 pages
Français
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Département d'informatique École normale supérieure rue d'Ulm Paris cedex Patrick fr

-

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
10 pages
Français

Description


  • mémoire


+ + Interprétation abstraite Patrick Cousot Département d'informatique, École normale supérieure, 45 rue d'Ulm, 75230 Paris cedex 05 , RÉSUMÉ. L'interprétation abstraite est une théorie de l'approximation discrète de sémantiques de systèmes infor

  • base de la théorie de l'interprétation abstraite

  • vérification

  • sémantique

  • approximation

  • modèle de calcul

  • production de logiciels fiables

  • logiciel


Sujets

Informations

Publié par
Nombre de lectures 27
Langue Français

Exrait

  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents