The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,) - Softcover

 
9780387541884: The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,)