Software Configuration Management Using Vesta Other Books in This Series
Parsing Techniques
2007
Geometric Fundamentals of Robotics
2007
Adapting Proofs-as-Programs
2007
Abstraction, Refinement and Proof for Probabilistic Systems
2006
Super-Recursive Algorithms
2006
Evolutionary Synthesis of Pattern Recognition Systems
2006
Reverse Engineering of Object Oriented Code
2007
Numerical Geometry of Non-Rigid Shapes
2008