|
התוצאה של פעולת ההוכחה המתמטית הפורמלית שהסמנטיקה של תוכנית עומדת בדרישות המפרט שלה.
|
[#8462] נוסף בתאריך 17-08-2006
« המונחים הקודמים
correctness proving
compile-and-go
flag
terminated
rehashing ; collision resolution (in hashing)
|
|
המונחים הבאים »
instruction
relocate v.
dump v.
snapshot dump
dump
|
תגובות (0)
|
הפתקיות שלי (0) 
סימון טקסט 
שלח לחבר 
קשר לכאן 
תגובות (0)
