Waar ben je naar op zoek?
Typ een vak, opleiding of onderwerp in en ontdek handige samenvattingen, oefenvragen en meer.
Verification, Model Checking, and Abstract Interpretation samenvattingen
Bekijk alle 0 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.
ISBN
9783030393229
Uitgever
Springer Nature
Taal
en