Abstraction, Refinement and Proof for Probabilistic Systems Other Books in This Series

Parsing Techniques Parsing Techniques
Parsing Techniques
2007
Geometric Fundamentals of Robotics Geometric Fundamentals of Robotics
Geometric Fundamentals of Robotics
2007
Adapting Proofs-as-Programs Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
2007
Software Configuration Management Using Vesta Software Configuration Management Using Vesta
Software Configuration Management Using Vesta
2010
Super-Recursive Algorithms Super-Recursive Algorithms
Super-Recursive Algorithms
2006
Evolutionary Synthesis of Pattern Recognition Systems Evolutionary Synthesis of Pattern Recognition Systems
Evolutionary Synthesis of Pattern Recognition Systems
2006
Reverse Engineering of Object Oriented Code Reverse Engineering of Object Oriented Code
Reverse Engineering of Object Oriented Code
2007
Numerical Geometry of Non-Rigid Shapes Numerical Geometry of Non-Rigid Shapes
Numerical Geometry of Non-Rigid Shapes
2008