Numerical Toolbox for Verified Computing I Rolf Hammer
112,34 €
Titel: Numerical Toolbox for Verified Computing I, Untertitel: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs, Einband: Taschenbuch, Autor: Rolf Hammer, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 364, Maße: 235x155x20 mm, Gewicht: 552 g, Verkäufer: buch-mimpf, Schlagworte: Numerical analysis Optimization PASCAL-XSC Program Verification Scientific Computing Vereinfachung der Programmierung Verified Computing algorithms automatische Ergebnisveriifikation numerics programming selbstverifizierende Numerik simplification simplification of programming verification.
Jetzt bei Ebay:
