Suggested Topics within your search.
Search alternatives:
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
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