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

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

Synopsis

Book by None

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.