Suchfeld einblenden
Schlagwort ATES
1 Treffer
Seite < 1 >
The programming and proof system ATES
: advanced techniques integration into efficient scientific software / A. Puccetti (ed.). With contributions by D. Brocard .... - Berlin : Springer, 1991. - VIII, 341 S. : graph. Darst.; 25 cm - (Research reports ESPRIT : [...], Project 1158, ATES; Vol. 1)
ISBN 978-3-540-54188-2 / 3-540-54188-8 kart. : DM 53.00
Literaturangaben
Quelle: DNB
Seite < 1 >
