On the Refinement Calculus

Nidottu

, 1994

englanti

Sarja:Formal Approaches to Computing and Information Technology (FACIT)

66,10 €

Tilaustuote

Voidaan lähettää pe 3.–to 9. heinäkuuta

Kokonaistoimitusaika lasketaan kassalla

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.

Toimittaja: Carroll Morgan, Vickers Trevor
ISBN: 9783540199311
Kieli: englanti
Paino: 281 grammaa
Sarja: Formal Approaches to Computing and Information Technology (FACIT)
Julkaisupäivä: 13.12.1994
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 159

Toimitus

Ilmainen toimitus yksityisasiakkaille yli 29 euron tilauksiin. Tarjoamme toimituksen noutopisteeseen, suoraan postilaatikkoosi tai ovelle, pakettiautomaattiin tai kotiinkuljetuksena. Saatavilla olevat toimitusvaihtoehdot näkyvät kassalla. Toimitusaika voi vaihdella toimitustavan, osoitteen ja tilauksesi sisältämien tuotteiden pidempien toimitusaikojen mukaan. Arvioitu kokonaisaika toimitukselle ilmoitetaan kassalla.

DSV

Maksaminen

Voit maksaa MobilePaylla, kortilla (Visa tai Mastercard), Apple Paylla tai Klarnalla. Klarnan maksuvaihtoehdot ovat: korttimaksu, verkkopankkimaksu, lasku tai osamaksu. Klikkaamalla "Maksa tilaus" hyväksyt Kustomsin ja Adlibriksen yleiset ehdot. Voit tutustua henkilötietojesi käsittelyyn Adlibriksen tietosuojakäytännössä ja Kustomsin tietosuojainformaatiossa.

Palautukset

Adlibriksella sinulla on aina 28 päivän palautusoikeus siitä hetkestä, kun olet vastaanottanut tuotteesi. Palautusmaksu on 5,90 euroa. Peruuttamisoikeus ei koske tuotteita, jotka toimitetaan sähköisesti ja ovat ladattavissa tilauksen vahvistushetkestä alkaen. Lisätietoja palautuksista, hyvityksistä ja reklamaatioista löydät ostoehdoistamme.

Tutustu koko sarjaan

On the Refinement Calculus

Kuvaus

Tuotetiedot