検索結果 - "Computer software Verification Congresses."

1

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

出版事項 2001

主題: “...Computer software Verification Congresses....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt