A Programming Approach to Formal Methods (The McGraw-Hill International Series in Software Engineering) - Softcover

Casey, Chris

 
9780077079680: A Programming Approach to Formal Methods (The McGraw-Hill International Series in Software Engineering)