„… each other in Sec. 2.5.3. The test procedures for the computing times of various operations and …” „… calculations in the loop, but for some tasks, such as iteration methods, this cannot be avoided. More detailed …” „… of Property Formulations The computing time of an algorithm in a specific hardware and software …”