Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
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 via » arrays a
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 via » arrays a
1
Published 2007
Table of Contents:
“... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”View full text
Electronic
eBook
