Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

On the Refinement Calculus

€ 90,95
+ 181 punten
Levering 1 à 2 weken
Eenvoudig bestellen
Veilig betalen
In januari gratis thuislevering in België (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Specificaties

Betrokkenen

Uitgeverij:

Inhoud

Aantal bladzijden:
159
Taal:
Engels
Reeks:

Eigenschappen

Productcode (EAN):
9783540199311
Verschijningsdatum:
13/12/1994
Uitvoering:
Paperback
Formaat:
Trade paperback (VS)
Afmetingen:
156 mm x 234 mm
Gewicht:
254 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 181 punten op je klantenkaart van Standaard Boekhandel
CADEAU

Onze must-reads: hét eindejaarsgeschenk

Vul een gat in iemands lectuur
CADEAU
GDABD Must-read
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.