Buchportal für Bücher die eine ISBN tragen.

Reihe Project 1158. ATES

Buchcover The Programming and Proof System ATES

The Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Springer Berlin