Verification, Model Checking, and Abstract Interpretation samenvattingen
Dirk Beyer, Damien Zufferey
Bekijk alle 1 samenvattingen van Verification, Model Checking, and Abstract Interpretation, geschreven door Dirk Beyer, Damien Zufferey. De samenvattingen van Verification, Model Checking, and Abstract Interpretation op Stuvia zijn geschreven door studenten of docenten, waardoor je de inhoud van het studieboek makkelijker en sneller begrijpt. Door de samenvatting te vinden die perfect bij jouw leerstijl past, wordt studeren een stuk eenvoudiger.
Auteur(s)
Dirk Beyer, Damien Zufferey
ISBN
9783030393229
Uitgever
Springer Nature
Taal
en
Alle
1 resultaten
Sorteer op:
Meest verkochte samenvattingen voor Verification, Model Checking, and Abstract Interpretation
Tentamen (uitwerkingen)
NCTI Final Exams
-
-
-
16
november 2024
2024/2025
A+
NCTI Final Exams
Populair
knoowy0010
€16,41
Meer Info
Nieuwste samenvattingen van Verification, Model Checking, and Abstract Interpretation