Kết quả tìm kiếm - "Computer software Verification Congresses."
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
-
1
Software safety and security tools for analysis and verification /
Được phát hành 2012Những chủ đề: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
2
Engineering dependable software systems /
Được phát hành 2013Những chủ đề: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
3
Dependable software systems engineering /
Được phát hành 2015Những chủ đề: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử eBook -
4
Verification of infinite-state systems with applications to security
Được phát hành 2006Những chủ đề: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook