The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software - Brossura

 
9780387541884: The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software

Sinossi

Book by None

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.