Get Free Shipping on orders over $79
Invariants : A Generative Approach to Programming - Daniel Zingaro

Invariants

A Generative Approach to Programming

By: Daniel Zingaro

Paperback | 26 June 2008

At a Glance

Paperback


$37.40

or 4 interest-free payments of $9.35 with

 or 

Ships in 5 to 7 business days

Algorithms are central to all areas of computer science, from compiler construction to numerical analysis to artificial intelligence. Throughout your academic and professional careers, you may be required to construct new algorithms, analyze existing algorithms, or modify algorithms to suit new purposes.

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.

More in Computer Science

Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
AI for Business : A Guide to AI Adoption - Jon Whittle

RRP $49.99

$40.75

18%
OFF
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Creative Machines : AI, Art & Us - Maya Ackerman

RRP $57.95

$44.75

23%
OFF
New Beginnings : why change is so difficult and how to achieve it - Stefan Klein
The Singularity is Nearer : When We Merge with AI - Ray Kurzweil

RRP $26.99

$22.99

15%
OFF
The Tech Coup : How to Save Democracy from Silicon Valley - Marietje Schaake
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.75

19%
OFF
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
MRI in Practice : 5th Edition - Catherine Westbrook

RRP $82.95

$54.75

34%
OFF
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$55.75

26%
OFF