Suggested Topics within your search.
Search alternatives:
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
Cover Image
Published 2007
Table of Contents: “... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search