検索結果 - "Computer software Verification."

The software audit guide / 著者: Helgeson, John W., 1945-

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

Principles of model checking 著者: Baier, Christel

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

Software safety and security tools for analysis and verification /

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

Robot framework test automation / 著者: Bisht, Sumit

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

Engineering dependable software systems /

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

Dependable software systems engineering /

主題: “…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 著者: Yoeli, Michael, 1917-

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

Verification of infinite-state systems with applications to security

主題: “…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 著者: Mathaikutty, Deepak A.

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