Spar
Concise Introduction to Alternating-Time Temporal Logics
- Undertittel
- A Guide for Understanding the Model-Checking Problem
- Forfatter
- Stéphane Demri
- ISBN
- 9783032118844
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 28.4.2026
- Antall sider
- 202
Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.
Gratis økonomifrakt for privatpersoner fra 299,-. Vi tilbyr levering til bemannet hentested, til pakkeboks, og hjemlevering direkte til postkassen eller på døren. Hvilke leveringsalternativer som er tilgjengelige for deg, ser du i kassen. Leveringstiden kan variere avhengig av leveringsmåte, adresse, og om bestillingen din inneholder produkter med lengre leveringstider. Den totale leveringstiden vises i kassen.
Du kan velge å betale med Apple Pay, kort (Visa eller Mastercard), eller via Klarna hvor du kan betale med Vipps, kort, direkteoverføring, faktura eller delbetaling. Ved å klikke på «Betal ordren» godkjenner du Kustoms og Adlibris’ generelle vilkår. Du kan se hvordan personopplysningene dine behandles i Adlibris’ personopplysningspolicy og i Kustoms personvernerklæring.
Hos Adlibris har du alltid 14 dagers angrerett fra det tidspunktet du har mottatt varen/varene dine. Du betaler selv porto for frakten. Angreretten omfatter ikke nedlastningsbare produkter, siden disse leveres direkte. For mer informasjon om returer, tilbakebetaling og reklamasjon, les våre salgsbetingelser.