Reasoned Programming - Brossura

Broda, .

Brossura

ISBN 10: 0130988316 ISBN 13: 9780130988317

Casa editrice: Prentice Hall, 1994

Riassunto

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.

Dettagli dell?edizione

• Editore: Prentice Hall
• Data di pubblicazione: 1994
• Lingua: Inglese
• ISBN 10: 0130988316
• ISBN 13: 9780130988317
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 314
• Contatto del produttore: non disponibile