978-0-13-098831-7 / 9780130988317

Reasoned Programming (Prentice-Hall International Series in Computer Science)


Publisher:Prentice Hall Trade



Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

This text is for use by advanced undergraduate/graduate students of computer science. Taking a formal approach to the teaching of computer science, this book introduces functional, imperative and logic programming and explains how to programme correctly. Although most of the techniques presented are not new, the approach itself is novel. Functional programming is presented as a programming language in its own right, but also a reasoning tool in imperative programming. The text discusses semantics and covers procedures which are often ignored, and examples illustrate the arguments.

Search under way...

Search complete.

Click on the price to find out more about a book.

New books: 1 - 25 of 29


Used books: 1 - 25 of 65