38,25 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
How do we know that such algorithms are correct? One method involves making claims about how we expect our programs to operate, and then constructing code that carries out these tasks. The key component of such reasoning is the invariant, and is the topic of this book.
In these pages, you will study how invariants are developed, how they are used to construct correct algorithms, and how they are helpful in analyzing existing programs. Along the way, you'll be introduced to some classic sorting, searching and mathematical algorithms, and even some solutions to games and logic puzzles. These examples, though, are only conduits for the loftier goal: understanding why algorithms work.
How do we know that such algorithms are correct? One method involves making claims about how we expect our programs to operate, and then constructing code that carries out these tasks. The key component of such reasoning is the invariant, and is the topic of this book.
In these pages, you will study how invariants are developed, how they are used to construct correct algorithms, and how they are helpful in analyzing existing programs. Along the way, you'll be introduced to some classic sorting, searching and mathematical algorithms, and even some solutions to games and logic puzzles. These examples, though, are only conduits for the loftier goal: understanding why algorithms work.
| Erscheinungsjahr: | 2008 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 188 |
| ISBN-13: | 9781904987833 |
| ISBN-10: | 1904987834 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Zingaro, Daniel |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 10 mm |
| Von/Mit: | Daniel Zingaro |
| Erscheinungsdatum: | 26.06.2008 |
| Gewicht: | 0,295 kg |
| Erscheinungsjahr: | 2008 |
|---|---|
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Seiten: | 188 |
| ISBN-13: | 9781904987833 |
| ISBN-10: | 1904987834 |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: | Zingaro, Daniel |
| Hersteller: | College Publications |
| Maße: | 234 x 156 x 10 mm |
| Von/Mit: | Daniel Zingaro |
| Erscheinungsdatum: | 26.06.2008 |
| Gewicht: | 0,295 kg |
Ähnliche Produkte
Lieferzeit 2-3 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 2-3 Wochen
Lieferzeit 1-2 Wochen
