Pay in 4 interest-free payments of $13.37 Learn more
Ships within 48 hours · Estimated delivery Aug 30 - Sep 4
2Broking45
Das deutsche Steuerrecht befindet sich in den letzten Jahren
Die Parallelen zwischen der Völkerwanderung der Spätantike und den aktuellen Ereignissen in Europa sind frappierend
5Path constraints7
Die Versprechungen
Numerical Software with Result Verification formatIsbn:Softcover - 9783540212607 2Broking45Reliable computing techniques are essential if the validity of the output of a merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal gor in the de? nition of data types, the computer arithmetic,
US$ 44.95
US$ 54.95
US$ 14.95
US$ 24.95
US$ 14.95
US$ 14.95
US$ 24.95
US$ 14.95
US$ 34.95
US$ 32.95
