1
Published 2005
Table of Contents: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...
View full text
Electronic eBook