Items related to Reasoned Programming (Prentice-Hall International Series...
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.
"synopsis" may belong to another edition of this title.
Synopsis:
This text is for use by advanced undergraduate/graduate students of computer science.
"About this title" may belong to another edition of this title.
- PublisherPrentice Hall
- Publication date1994
- ISBN 10 0130988316
- ISBN 13 9780130988317
- BindingPaperback
- Edition number1
- Number of pages314
Top Search Results from the AbeBooks Marketplace
Stock Image
Reasoned Programming (Prentice-Hall International Series in Computer Science)
Published by
Prentice Hall Direct
(1994)
ISBN 10: 0130988316
ISBN 13: 9780130988317
Used
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine. Seller Inventory # GOR002100191
Buy Used
£ 5.16
Convert currency
Seller Image
Reasoned Programming (Prentice-Hall International Series in Computer Science)
Published by
Prentice Hall
(1994)
ISBN 10: 0130988316
ISBN 13: 9780130988317
Used
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: Good. Most items will be dispatched the same or the next working day. Seller Inventory # wbs3874002161
Buy Used
£ 8.81
Convert currency
Stock Image
Reasoned Programming (Prentice-Hall IEisenbach, Susan; Khoshnevisan,
Published by
Prentice Hall Direct
(1994)
ISBN 10: 0130988316
ISBN 13: 9780130988317
Used
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: Used - Good. Seller Inventory # 9780130988317
Buy Used
£ 79.08
Convert currency
Stock Image
REASONED PROGRAMMING
Published by
PEARSON EDUCACION
(1994)
ISBN 10: 0130988316
ISBN 13: 9780130988317
Used
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: Muy Bueno / Very Good. Seller Inventory # 100000000855251
Buy Used
£ 528.48
Convert currency