Verwandte Artikel zu Reasoned Programming (Prentice-Hall International Series...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Reasoned Programming (Prentice-Hall International Series...
Beispielbild für diese ISBN
REASONED PROGRAMMING
Anbieter: OM Books, Sevilla, SE, Spanien
Verkäuferbewertung 5 von 5 Sternen
Zustand: usado - bueno. Bestandsnummer des Verkäufers 9780130988317
Anzahl: 1 verfügbar