Program Construction : Calculating Implementations from Specifications, Paper...

Program Construction : Calculating Implementations from Specifications, Paperback by Backhouse, Roland C., ISBN 0470848820, ISBN-13 9780470848821, Used Good Condition, Free shipping in the USWarum kommt kein Programmierer ohne Kenntnisse in Mathematik und Logik aus? Dieses Buch zeigt es Ihnen eindrucksvoll, verzichtet dabei auf &#252;berm&#228;&#223;ig komplizierte theoretische Herleitungen und motiviert Sie damit zum Weiterdenken.<br /> - illustriert die Bedeutung der Mathematik und der Logik f&#252;r die Programmierung; gibt einen kompletten &#220;berblick &#252;ber die Prinzipien des logischen Schlie&#223;ens<br /> - geht detailliert auf Prinzipien der Programmkonstruktion ein<br /> - ausgewogene Kombination aus mathematischer Theorie und Programmierpraxis<br /> - &#252;berarbeitete Fassung des Buches "Program Construction and Verification" (1986) desselben Autors, welches von zahlreichen Lehrst&#252;hlen f&#252;r Informatik empfohlen wurde<br /> - hervorragend zum Selbststudium geeignet