Zu "formal verifications" wurden 36 Produkte gefunden
HOME
Dependable Software Engineering. Theories, Tools, and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Theory and Applications of Satisfiability Testing – SAT 2017
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
90,94 €*
Preise inkl. MwSt. zzgl. Versandkosten
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
78,10 €*
Preise inkl. MwSt. zzgl. Versandkosten