Computer software - Verification.

概要

作品:	3 作品在 3 項出版品 1 種語言

書目資訊

Principles of model checking by: Baier, Christel; Katoen, Joost-Pieter (書目-語言資料,印刷品)

Data flow analysis : theory and practice by: Karkare, Bageshri; Sanyal, Amitabha; Khedker, Uday P. (書目-語言資料,印刷品)

Verification and validation for quality of UML 2.0 models by: Unhelkar, Bhuvan (書目-語言資料,印刷品)