본문

  1. Home
1 Results:UU:VOL53NO12201012 PP:ASSOCIATION FOR COMPUTING MACHINERY 0.93 sec.
RSS 
Multilingual
 การค้นหาขั้นสูง
 เดินทางมาถึงค้นหาวัสดุใหม่
พิมพ์ที่เลือก Select Export to Excel
1
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Shao, Z., | Association for Computing Machinery | 2010 ,
처음1마지막
เรียง
ปรับแต่ง
รูปแบบ
ผู้เขียน
หนึ่งปี
ภาษา