Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog DRM-beskyttet
PDF version af On the Refinement Calculus

On the Refinement Calculus

Forfatter: info mangler
E-bog
  • Format
  • E-bog, PDF
  • Engelsk
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris

kr. 434,95

Medlemspris

kr. 389,95
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Udgivelsesdato06-12-2012
  • ISBN139781447132738
  • Forlag Springer London
  • FormatPDF

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Calculus Calculus & mathematical analysis Programming & scripting languages: general