你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Effective Theories in Programming Practice (Acm Books)
Type
Physical Book
Author
Publisher
Language
English
Pages
562
Format
Hardcover
Dimensions
23.5x19.1x3.2 cm
Weight
1.17 kg.
ISBN13
9781450399739
Categories

Effective Theories in Programming Practice (Acm Books)

Jayadev Misra (Author) · ACM Books · Hardcover

Effective Theories in Programming Practice (Acm Books) - Misra, Jayadev

New Book Imported to Taiwan
Delivery: 06 Oct - 14 Oct Shipping: 5 to 6 business days.
NT$ 3,088
NT$ 3,088

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Effective Theories in Programming Practice (Acm Books) "

Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner. The book includes the background material needed to understand the explanations and to develop such explanations for other algorithms. The author demonstrates that clarity and simplicity are achieved not by avoiding formalism, but by using it properly.The book is self-contained, assuming only a background in high school mathematics and elementary program writing skills. It does not assume familiarity with any specific programming language. Starting with basic concepts of sets, functions, relations, logic, and proof techniques including induction, the necessary mathematical framework for reasoning about the correctness, termination and efficiency of programs is introduced with examples at each stage. The book contains the systematic development, from appropriate theories, of a variety of fundamental algorithms related to search, sorting, matching, graph-related problems, recursive programming methodology and dynamic programming techniques, culminating in parallel recursive structures.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews