Bokus

Erbjudanden
Nyheter
Student
Topplistor
Barn & ungdom
Bokus Play
E-böcker
Pocketböcker
Spel & pussel

Skönlitteratur
Barn och ungdom
Deckare
Samhälle och politik
Fantasy, SciFi och skräck
Psykologi och pedagogik
- Psykologi
- Pedagogik
Biografier
Hälsa och familj
Ekonomi och Ledarskap
Historia och arkeologi
- Historia
- Arkeologi
Mat och dryck
Filosofi och religion
- Religion och tro
- Filosofi
Naturvetenskap och teknik
Kultur
Sport, fritid och hobby
Tecknade serier
- Tecknade serier och romaner
- Manga
Medicin
Juridik
Kalender
- Kalender och almanacka
- Adventskalender
Läromedel
Pennor och tillbehör
- Pennor
- Penntillbehör
Spel och pussel
Språk och ordböcker
Ande, kropp och själ
- Ande, kropp och själ
- Övernaturliga fenomen / det paranormala
Djur och Natur
- Djurböcker
- Naturböcker
Reseguider
Data och IT
Hem och Trädgård
Måla och pyssla
Anteckning
Kort, Kuvert och Brevpapper
Kontorsmaterial
Lästillbehör
Presentinslagning
- Presentsnören
- Presentpapper

Hem
Populära författare
Ashutosh Trivedi

Ashutosh Trivedi

Visar alla böcker från författaren Ashutosh Trivedi. Handla med fri frakt och snabb leverans.

Verification, Model Checking, and Abstract Interpretation
2025

Mina sidor

Mina sidor

Hjälp

Kundservice
Vanliga frågor och svar
Frakt och leverans
Retur vid ångerrätt
Reklamera vara
Betalning
Köpvillkor
Allmänna villkor
Information om webbplatsens tillgänglighet

Om Bokus

Om oss
Pressrum
För studenter
För företag
För bibliotek och offentlig verksamhet
För leverantörer
Hållbarhet

Populärt

Aktuella erbjudanden
Presentkort
Studentlitteratur
Nya böcker
Topplistor
Signerade böcker
Engelska böcker

Inspiration

Boktips
BookTok
Populära bokserier
Barnbokskaraktärer
Populära författare