Articles liés à Reasoned Programming
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Reasoned Programming
Image d'archives
REASONED PROGRAMMING
Edité par
PEARSON EDUCACION, 1994
ISBN 10 : 0130988316
ISBN 13 : 9780130988317
Ancien ou d'occasion
Couverture souple
Vendeur : OM Books, Sevilla, SE, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : usado - bueno. N° de réf. du vendeur 9780130988317
Quantité disponible : 1 disponible(s)