Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
functions computational » functions computation, function computation, directions computational
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays via » arrays a
functions computational » functions computation, function computation, directions computational
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays via » arrays a
1
Pubblicazione 2007
Sommario:
“... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”Testo
Elettronico
eBook
