Bücher nach ISBN
>
Springer
> P. Gribomont
P. Gribomont
P.G.
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software
978-3-54O-54188-2
(3-54O-54188-8)
1991
D. Brocard · P. Gagert
P. Grieffenhagen