Invariants

A Generative Appraoch to Programming

By:

Daniel Zingaro

Format:

Paperback / softback

Series:

Texts in Computer Science

Show Hide Adult Content

$84.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

Afterpay is available on orders $100 to $2000 Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

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.

Release date Australia

June 26th, 2008

Author

Daniel Zingaro

Audiences

Further/Higher Education
Postgraduate, Research & Scholarly
Professional & Vocational

Illustrations

black & white illustrations

Pages

188

Series

Texts in Computer Science

Dimensions

156x234x10

ISBN-13

9781904987833

Product ID

2582761

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here