Resultats de la cerca - "Computer software Verification Congresses."
Matèries dins de la cerca
Matèries dins de la cerca
-
1
Software safety and security tools for analysis and verification /
Publicat 2012Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Electrònic Actes de congresos eBook -
2
Engineering dependable software systems /
Publicat 2013Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Electrònic Actes de congresos eBook -
3
Dependable software systems engineering /
Publicat 2015Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Electrònic eBook -
4
Verification of infinite-state systems with applications to security
Publicat 2006Matèries: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Electrònic Actes de congresos eBook