1819-87R-SDSA: Slides: Promela - @ Spin Website | e-Learning - UNIMIB

Vai al contenuto principale

Home
Altro

Italiano ‎(it)‎

English ‎(en)‎ Italiano ‎(it)‎

Ospite

Login

Percorso della pagina

Post-Laurea
Scuola di Dottorato di Ricerca
Didattica Corsi di Dottorato
Computer Science / Informatica
2018-2019

Static and Dynamic Software Analysis
Model Checking - 18/09/2019
Slides: Promela - @ Spin Website

Titolo del corso

Static and Dynamic Software Analysis

Codice identificativo del corso

1819-87R-SDSA

Descrizione del corso

Slides: Promela - @ Spin Website

Slides: Promela

Per aprire la risorsa fai click sul link Slides: Promela - @ Spin Website

Ospite (Login)

Ottieni l'app mobile

Powered by Moodle

© 2024 Università degli Studi di Milano-Bicocca

Privacy
Accessibilità
Statistiche