|
|
|
Item Details
Title:
|
REASONED PROGRAMMING
|
By: |
Krysia B. Broda, Susan Eisenbach, Steven Vickers |
Format: |
Paperback |
List price:
|
£75.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0130988316 |
ISBN 13: |
9780130988317 |
Publisher: |
PEARSON EDUCATION (US) |
Pub. date: |
6 October, 1994 |
Pages: |
320 |
Description: |
Taking a formal approach to the teaching of computer science, this book introduces functional, imperative and logic programming and explains how to programme correctly. The text discusses semantics and covers procedures which are often ignored. It contains examples to illustrate the arguments. |
Synopsis: |
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. |
Publication: |
US |
Imprint: |
Prentice Hall |
Returns: |
Non-returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|