John C. Reynolds

  • Logique de séparation

    La logique de séparation est une extension de la logique de Hoare, une manière de raisonner sur les programmes.

EXCLUSIF

35 Formations
Intelligence Artificielle
Marketing Digital
Ecommerce
Forfait illimité: à partir de 166€/mois

Accès 100 collaborateurs

Découvrir

Recevez des exclus !

Contenus liés

Search