Previously searched by you

Verification, Model Checking, and Abstract Interpretation notes

Dirk Beyer, Damien Zufferey

View all 1 notes for Verification, Model Checking, and Abstract Interpretation, written by Dirk Beyer, Damien Zufferey. All Verification, Model Checking, and Abstract Interpretation notes, flashcards, summaries and study guides are written by your fellow students or tutors. Get yourself a Verification, Model Checking, and Abstract Interpretation summary or other study material that matches your study style perfectly, and studying will be a breeze.

Author(s)

Dirk Beyer, Damien Zufferey

ISBN

9783030393229

Publisher

Springer Nature

Language

All 1 results

Sort by

Best selling Verification, Model Checking, and Abstract Interpretation notes

NCTI Final Exams
Exam (elaborations) • 16 pages • 2024 Popular

NCTI Final Exams

(0)
$17.99
+ learn more

Newest Verification, Model Checking, and Abstract Interpretation summaries

NCTI Final Exams
Exam (elaborations) • 16 pages • 2024 New

NCTI Final Exams

(0)
$17.99
+ learn more