Program Construction : Calculating Implementations from Specifications
Overview
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
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9780470848821
- ISBN-10: 0470848820
- Publisher: Wiley
- Publish Date: May 2003
- Dimensions: 9.12 x 7.5 x 0.82 inches
- Shipping Weight: 1.43 pounds
- Page Count: 352
Related Categories
