Program Construction: Calculating Implementations from Specifications - Couverture souple

Backhouse, Roland

 
9780470848821: Program Construction: Calculating Implementations from Specifications
Couverture souple
ISBN 10 : 0470848820 ISBN 13 : 9780470848821
Editeur : Wiley, 2003

Synopsis

Warum kommt kein Programmierer ohne Kenntnisse in Mathematik und Logik aus? Dieses Buch zeigt es Ihnen eindrucksvoll, verzichtet dabei auf übermäßig komplizierte theoretische Herleitungen und motiviert Sie damit zum Weiterdenken.
- illustriert die Bedeutung der Mathematik und der Logik für die Programmierung; gibt einen kompletten Überblick über die Prinzipien des logischen Schließens
- geht detailliert auf Prinzipien der Programmkonstruktion ein
- ausgewogene Kombination aus mathematischer Theorie und Programmierpraxis
- überarbeitete Fassung des Buches "Program Construction and Verification" (1986) desselben Autors, welches von zahlreichen Lehrstühlen für Informatik empfohlen wurde
- hervorragend zum Selbststudium geeignet

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Roland Backhouse leads the Foundations of Programming research group at the University of Nottingham. He returned to the UK in 1999 after spending 13 years in the Netherlands, 9 of which as professor at Eindhoven University of Technology (the institution that pioneered the style of reasoning and construction of programs that forms the basis for this book).

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Wiley
Date d'édition
2003
Langue
anglais
ISBN 10 
0470848820
ISBN 13 
9780470848821
Reliure
Broché
Nombre de pages
352
Coordonnées du fabricant
non disponible
Personne responsable
non disponible