All decks Close
All decks 9

  • Concurrency Theory for formal verification of Cyber-Physical Systems

    Concurrency Theory for formal verification of Cyber-Physical Systems - LMF - Séminaire au vert 2025

    Jun 10, 2025 88 0

  • Concurrency Theory for formal verification of Cyber-Physical Systems

    Concurrency Theory for formal verification of Cyber-Physical Systems - LMF - Séminaire au vert 2025

    Jun 02, 2025 161 0

  • Logique pour l'informatique: Introduction

    Logique pour l'informatique: Introduction

    Jan 17, 2025 128 0

  • Programmation Fonctionnelle - IV. Retour à l'impératif (version Web)

    Programmation Fonctionnelle: Cours 4 - Retour à l'impératif (version Web)

    Dec 16, 2024 188 0

  • Programmation Fonctionnelle - III. Listes & Types Algébriques (Version Web)

    Programmation Fonctionnelle: Cours 3 - Listes & Types Algébriques (Version Web)

    Nov 29, 2024 283 1

  • Programmation Fonctionnelle - II. Complément Typage (Version Web)

    Programmation Fonctionnelle: Cours 2 - Complément du cours 1 sur le typage

    Oct 29, 2024 161 0

  • Programmation Fonctionnelle - II. Déclarations, portée & top-level (Version Web)

    Programmation Fonctionnelle: Cours 2 - Déclarations, portée et top-level

    Oct 29, 2024 213 0

  • Programmation Fonctionnelle - Introduction (Version Web)

    Programmation Fonctionnelle: Introduction

    Sep 22, 2024 421 0

  • Programmation Fonctionnelle - I. Expressions et Typage (version web)

    Programmation Fonctionnelle: Cours 1 - Expressions et typage

    Sep 14, 2024 506 0