#stdio-h

Alternate Text
La vérification des programmes par interprétation abstraite
Category

Documents

La vérification des programmes par interprétation abstraite

Patrick Cousot

La vérification des programmes par interprétation abstraite Alternate Text
Category

Documents

Savoirs

La vérification des programmes par interprétation abstraite

Patrick Cousot

Book

71 pages

Flag

Français

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Alternate Text