Zu "Programmverifikation" wurden 14 Produkte gefunden
HOME
Partial-Order Methods for the Verification of Concurrent Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Analysis and Verification of Multiple-Agent Languages
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten