Zu "infinite-state systems" wurden 3 Produkte gefunden
HOME
Verification, Model Checking, and Abstract Interpretation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automatic Verification of Sequential Infinite-State Processes
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten