Duration Calculus

Författare:

Zhou Chaochen, Hansen Michael R.

Häftad

, 2010

engelska

Serie:Monographs in Theoretical Computer Science. An EATCS Series

1 260 kr

Skickas fre 26 juni–tors 2 juli

InbundenSkickas fre 26 juni–tors 2 juli

1 260 kr

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.

Undertitel: A Formal Approach to Real-Time Systems
Författare: Zhou Chaochen, Hansen Michael R.
ISBN: 9783642074042
Språk: engelska
Vikt: 281 gram
Serie: Monographs in Theoretical Computer Science. An EATCS Series
Utgivningsdatum: 2010-12-09
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sidor: 250

Leverans

Gratis ekonomifrakt för privatpersoner från 249 kr. Vi erbjuder leverans till ombud, direkt till din brevlåda eller dörr, paketskåp, och hemleverans. Vilka leveransalternativ som är tillgängliga för dig framgår i kassan. Leveranstiden kan variera beroende på leveranssätt, adress, och om din beställning innehåller produkter med längre leveranstider. Den totala leveranstiden visas i kassan.

City Mail DSV

Betalning

Du kan välja att betala med Apple Pay, kort (Visa eller Mastercard), eller via Klarna där du kan betala med Swish, kort, direktbetalning, faktura eller delbetalning. Genom att klicka på "Betala köp" godkänner du Kustoms och Adlibris allmänna villkor. Du kan ta del av hur dina personuppgifter behandlas i Adlibris personuppgiftspolicy, och i Kustoms dataskyddsinformation.

Returer

Hos Adlibris har du alltid 28 dagars ångerrätt från det att du mottagit din produkt. Returavgiften är 59 kr. Nedladdningsbara produkter omfattas inte av ångerrätten eftersom de levereras direkt efter köpet. För mer information om returer, återbetalning och reklamation, läs våra köpvillkor.