الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion arrays » recursion versus
arrays value » arrays failure, arrays alsa, arrays virus
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion arrays » recursion versus
arrays value » arrays failure, arrays alsa, arrays virus
1
منشور في 2007
جدول المحتويات:
“... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
