Refinement Calculus A Systematic Introduction

NOK 1 499,00
+ NOK 223,49 i frakt

Refinement Calculus A Systematic Introduction

Solgt av:
  • product image

NOK 1 499,00

På lager
+ NOK 223,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Refinement Calculus A Systematic Introduction

Much Current Research In Computer Science Is Concerned With Two Questions: Is A Program Correct? And How Can We Improve A Correct Program Preserving Correctness? This Latter Question Is Known As The Refinement Of Programs And The Purpose Of This Book Is To Consider These Questions In A Formal Setting.
  • Fruugo-ID: 550927569-1115605988
  • ISBN: 9780387984179
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 223,49 - Levering mellom kl tor. 19 november 2026–man. 23 november 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur