Suchfeld einblenden
Schlagwort Verifikation (Datenverarbeitung)
1 Treffer
Seite < 1 >
Scientific computation with automatic result verification
/ U. Kulisch and H. J. Stetter (eds.). - Wien : Springer, 1988. - VIII, 244 S. : 22 Ill. u. graph. Darst.; 24 cm - (Computing : suppl. 6)
ISBN 978-3-211-82063-6 / 3-211-82063-9 DM 128.00, S 900.00, DM 115.00, S 810.00 (Vorzugspr. für Abonnenten)
Literaturangaben
Quelle: DNB
Seite < 1 >