Resultats de la cerca - "Computer software Verification."

Software safety and security : tools for analysis and verification /

Matèries: “…Computer software Verification Congresses.…”
Obtenir text complet
Veure a l'OPAC

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

Matèries: “…Computer software Verification.…”
Obtenir text complet
Veure a l'OPAC