Resultats de la cerca - "Computer software Verification."

The software audit guide / per Helgeson, John W., 1945-

Matèries: “…Computer software Verification.…”
An electronic book accessible through the World Wide Web; click to view

Principles of model checking per Baier, Christel

Matèries: “…Computer software Verification.…”
An electronic book accessible through the World Wide Web; click to view

Software safety and security tools for analysis and verification /

Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view

Robot framework test automation / per Bisht, Sumit

Matèries: “…Computer software Verification.…”
An electronic book accessible through the World Wide Web; click to view

Engineering dependable software systems /

Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view

Dependable software systems engineering /

Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view

Verification of systems and circuits using LOTOS, Petri Nets, and CCS per Yoeli, Michael, 1917-

Matèries: “…Computer software Verification.…”
An electronic book accessible through the World Wide Web; click to view

Verification of infinite-state systems with applications to security

Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view

Metamodeling-driven IP reuse for SoC integration and microprocessor design per Mathaikutty, Deepak A.

Matèries: “…Computer software Verification.…”
An electronic book accessible through the World Wide Web; click to view