Zu "Protokollverifikation" wurden 2 Produkte gefunden
HOME
Higher Order Logic Theorem Proving and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Partial-Order Methods for the Verification of Concurrent Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten