Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
67,90 €
Spara till önskelista
- Författare
- H. Stoyan
- ISBN
- 9783540138952
- Språk
- tyska
- Vikt
- 648 gram
- Utgivningsdatum
- 1.12.1984
- Sidor
- 368
Leverans
Gratis ekonomifrakt för privatpersoner från 29 EUR. Vi erbjuder leverans till ombud, direkt till din brevlåda eller dörr, paketskåp, eller 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.
Betalning
Du kan välja att betala med MobilePay, kort (Visa eller Mastercard), Apple Pay eller via Klarna där du kan betala med 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 5,90 EUR. 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.