Reverse Engineering of Object Oriented Code كتب أخرى بهذه السلسلة
Parsing Techniques
٢٠٠٧
Super-Recursive Algorithms
٢٠٠٦
Geometric Fundamentals of Robotics
٢٠٠٧
Adapting Proofs-as-Programs
٢٠٠٧
Software Configuration Management Using Vesta
٢٠١٠
Abstraction, Refinement and Proof for Probabilistic Systems
٢٠٠٦
Evolutionary Synthesis of Pattern Recognition Systems
٢٠٠٦
Numerical Geometry of Non-Rigid Shapes
٢٠٠٨