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

3 avg rating
( 1 ratings by Goodreads )
 
9780130988317: Reasoned Programming (Prentice-Hall International Series in Computer Science)

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.

Top Search Results from the AbeBooks Marketplace

1.

Eisenbach, Susan; Khoshnevisan, Hessam; Vickers, Steve
Published by Prentice Hall Trade
ISBN 10: 0130988316 ISBN 13: 9780130988317
New PAPERBACK Quantity Available: 1
Seller
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Prentice Hall Trade. PAPERBACK. Book Condition: New. 0130988316 New Condition. Bookseller Inventory # NEW6.1039028

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 59.99
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Eisenbach, Susan, Khoshnevisan, Hessam,
Published by Prentice Hall Trade (1994)
ISBN 10: 0130988316 ISBN 13: 9780130988317
New Paperback Quantity Available: 1
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Prentice Hall Trade, 1994. Paperback. Book Condition: New. Bookseller Inventory # P110130988316

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 73.90
Convert Currency

Add to Basket

Shipping: US$ 2.99
Within U.S.A.
Destination, Rates & Speeds

3.

Susan Eisenbach, Hessam Khoshnevisan, Steve Vickers, Krysia Broda (Editor)
Published by Prentice Hall Trade (1994)
ISBN 10: 0130988316 ISBN 13: 9780130988317
New Paperback Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Prentice Hall Trade, 1994. Paperback. Book Condition: New. Bookseller Inventory # DADAX0130988316

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 140.91
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Broda
Published by Financial Times Prentice Hall (1994)
ISBN 10: 0130988316 ISBN 13: 9780130988317
New Softcover Quantity Available: 1
Print on Demand
Seller
Rating
[?]

Book Description Financial Times Prentice Hall, 1994. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # GM9780130988317

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 143.66
Convert Currency

Add to Basket

Shipping: US$ 4.65
From Germany to U.S.A.
Destination, Rates & Speeds