Passer au contenu principal
Graph
Search
fr
|
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Méthode formelle (informatique)
Science formelle
Informatique théorique
Théorie des langages de pro...
Vérification formelle
Cours associés (31)
Graph Chatbot
CS-214: Software construction
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundam
Précédent
Page 4 sur 4
Suivant
