Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
structure computational » structures computational, structure composition
functions conditional » functions functional, functional conditioning, functions computational
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays via » arrays a
structure computational » structures computational, structure composition
functions conditional » functions functional, functional conditioning, functions 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
