Duration Calculus

Kirjailija:

Zhou Chaochen, Hansen Michael R.

Nidottu

, 2010

englanti

Sarja:Monographs in Theoretical Computer Science. An EATCS Series

129,70 €

Tilaustuote

Voidaan lähettää pe 26. kesäkuuta–to 2. heinäkuuta

Kokonaistoimitusaika lasketaan kassalla

SidottuVoidaan lähettää pe 26. kesäkuuta–to 2. heinäkuuta

129,70 €

as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner.

Alaotsikko: A Formal Approach to Real-Time Systems
Kirjailija: Zhou Chaochen, Hansen Michael R.
ISBN: 9783642074042
Kieli: englanti
Paino: 281 grammaa
Sarja: Monographs in Theoretical Computer Science. An EATCS Series
Julkaisupäivä: 9.12.2010
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 250

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.