menu
{ "item_title" : "Program Construction", "item_author" : [" Roland Backhouse "], "item_description" : "Warum kommt kein Programmierer ohne Kenntnisse in Mathematik und Logik aus? Dieses Buch zeigt es Ihnen eindrucksvoll, verzichtet dabei aufbermig komplizierte theoretische Herleitungen und motiviert Sie damit zum Weiterdenken. - illustriert die Bedeutung der Mathematik und der Logik f r die Programmierung; gibt einen komplettenberblickber 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", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/0/47/084/882/0470848820_b.jpg", "price_data" : { "retail_price" : "89.95", "online_price" : "89.95", "our_price" : "89.95", "club_price" : "89.95", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Program Construction|Roland Backhouse

Program Construction : Calculating Implementations from Specifications

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

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

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

You May Also Like...

    1

BAM Customer Reviews