Goguen, Joseph A - Algebraic Semantics of Imperative Programs

Schrijver:
Titel: Algebraic Semantics of Imperative Programs
ISBN: 9780262071727
Taal: Engels
Uitgever: MIT Press
Bijzonderheden: 1996, hardcover, shelf wear, good copy
Prijs: € 10,90
Verzendkosten: € 4,20 (binnen Nederland)
Meer info: "Algebraic Semantics of Imperative Programs" presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.

Ann d'er Winkel

zakelijk

Ann d'er Winkel uit Driebergen-Rijsenburg

Logo Ann d'er Winkel

De getoonde portokosten bij het boek zijn de portokosten per bestelling in Nederland voor thuisbezorging. Bestellingen worden, na betaling, verstuurd tijdens openingsdagen. Portokosten worden per bestelling gerekend en niet per boek. Ophalen in Driebergen is ook mogelijk (graag vermelden bij bestellen) Retourkosten voor koper. Kijk bij www.annderwinkel.nl voor meer informatie.

De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.

Afbeeldingen (Klik om te vergroten)

Goguen, Joseph A - Algebraic Semantics of Imperative Programs