Reihe Project 1158. ATES The Programming and Proof System ATESAdvanced Techniques Integration into Efficient Scientific SoftwareSpringer BerlineBook201396,29 € The Programming and Proof System ATESAdvanced Techniques Integration into Efficient Scientific SoftwareSpringer BerlinSoftcover1991106,99 €
