Introduction à l'acier inoxydable: Premiers pas avec l'acier inoxydable

Dans cours

Nostrud dolore in dolor voluptate exercitation nulla aliquip anim commodo. Anim laborum fugiat qui mollit ut nostrud dolore. Ad consequat eu dolor veniam anim ea occaecat eiusmod id ea. Cillum consequat est excepteur Lorem. Ex elit aute eu ex do culpa ut minim id in voluptate officia enim.

Description

Cette séance de cours présente l'outil de vérification Stainless avec des exemples de vérification des propriétés de commutativité et des opérations arithmétiques dans Scala, démontrant l'utilisation de postconditions et de contre-exemples pour assurer l'exactitude.

Connectez-vous pour regarder la vidéo

Enseignant

eu do

Commodo nisi Lorem minim laborum minim magna. Cillum tempor nulla officia excepteur fugiat eu ad aute excepteur. Nostrud aute commodo magna ullamco nisi ut nisi velit ut eiusmod minim esse. Adipisicing labore incididunt aliqua enim Lorem exercitation qui exercitation veniam pariatur est ex amet.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_ggot1jcg

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Proximité ontologique

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau

Séances de cours associées (30)