Passer directement au contenu principal

Recherche

Accueil
Produits et téléchargements
- Programmes académiques
- Événements et conférences
Carrières
- Labs et lieux
  - Microsoft Research
  - Autres laboratoires/lieux

Aucun résultat

Code Contracts

Established: October 28, 2008

Publications
Downloads
Videos
Microsoft Research blog

Videos

Loading...

Demo of the CodeContracts static checker with code fixes

Duration 02:00

Demo of the CodeContracts static checker with code fixes

September 21, 2012

Speakers : Francesco Logozzo

Follow us:

Follow on X
Like on Facebook
Follow on LinkedIn
Subscribe on Youtube
Follow on Instagram
Subscribe to our RSS feed

Share this page:

Share on X
Share on Facebook
Share on LinkedIn
Share on Reddit

Nouveautés

Surface Pro
Surface Laptop
Surface Laptop Studio 2
Surface Laptop Go 3
Microsoft Copilot
L’IA dans Windows
Découvrez les produits Microsoft
Applications Windows 11

Microsoft Store

Profil du compte
Centre de téléchargement
Soutien Microsoft Store
Retours
Suivi des commandes
Formations et ateliers virtuels
La promesse du Microsoft Store

Éducation

Microsoft Éducation
Appareils pour l’éducation
Microsoft Teams pour l’éducation
Microsoft 365 Éducation
Office Éducation
Formation et perfectionnement des éducateurs
Aubaines pour étudiants et parents
Azure pour les étudiants

Entreprise

Microsoft Cloud
Sécurité Microsoft
Azure
Dynamics 365
Microsoft 365
Microsoft Advertising
Microsoft 365 Copilot
Microsoft Teams

Développeurs et TI

Centre pour les développeurs
Documentation
Microsoft Learn
Communauté technique de Microsoft
Place de marché Azure
AppSource
Microsoft Power Platform
Visual Studio

Entreprise

Carrières
À propos de Microsoft
La confidentialité chez Microsoft
Investisseurs
Accessibilité
Durabilité

Vos choix de confidentialité

Vos choix de confidentialité

Confidentialité de l’intégrité des consommateurs

Communiquer avec Microsoft
Confidentialité
Gérer les fichiers témoins
Conditions d'utilisation
Marques
À propos de nos annonces
© Microsoft 2024