An Introduction to the Analysis of Algorithms (Q5902089)
From MaRDI portal
scientific article; zbMATH DE number 5565382
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Introduction to the Analysis of Algorithms |
scientific article; zbMATH DE number 5565382 |
Statements
An Introduction to the Analysis of Algorithms (English)
0 references
16 June 2009
0 references
analysis of algorithms
0 references
correctness proof
0 references
loop invariant
0 references
