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

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

Sinopsis

Book by None

"Sinopsis" puede pertenecer a otra edición de este libro.