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