Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

All in music & movies 7+ million items Huge in k-pop

Support Support
- Support
- General FAQ
- Vinyl FAQ
- Contact
Gift Card

All 1 Ofer Strichman releases on Bog med blødt omsla...t ryg

Advanced Search Options

SGD
Login

All
Home
Campaigns
Vinyl
CD's
K-pop
Movies
Books
Merchandise

Advanced Search Options

Categories

Home
Campaigns
Vinyl
CD's
K-pop
Movies
Books
Merchandise

Other

Support
General FAQ
Vinyl FAQ
Contact

Gift Card

Log in

AUD (Australian Dollars) A$
BRL (Brazilian real) R$
CAD (Canadian Dollars) CA$
CHF (Swiss francs) SFr.
CNY (Chinese yuan) 元
CZK (Czech koruny) Kč
DKK (Danske kroner)
EUR (Euro) €
GBP (Pounds Sterling) £
HKD (Hong Kong dollars) HK$
HUF (Hungarian forints) Ft
ILS (Israeli shekel) ₪
ISK (Icelandic kronur) Íkr
JPY (Japanese yen) ¥
KRW (South Korean won) ₩
MXN (Mexican peso) Mex$
NOK (Norwegian kroner) NOK
NZD (New Zealand dollars) NZ$
PLN (Polish złotys) zł
RON (Romanian leu)
SEK (Svenske kroner) SEK
SGD (Singapore dollars) S$
TRY (Turkish lira) ₺
USD (Dollars) $
ZAR (South African rand) R

Dansk
Deutsch
Deutsch (Switzerland)
English
English (Australia)
English (Hong Kong)
English (New Zealand)
English (Singapore)
English (South Africa)
English (United Kingdom)
Español
Español (México)
Français
Latviešu
Nederlands
Norsk
Polski
Português
Português do Brasil
Slovenčina
Slovenščina
Suomi
Svenska
Vlaamse (Belgium)
中文
日本語

Showing Paperback Book · Show all

In stock at iMusic

Show unavailable items

Releases by Ofer Strichman

Cover for Ofer Strichman · Efficient Decision Procedures for Validation: Translation Validation, Decision Procedures for Equality Logic, and Sat Tuning for Bounded Model Checking (Paperback Book) (2010)

Efficient Decision Procedures fo... (2010)

Menu

Top 100
About iMusic
About our record store
Terms of business
Privacy policy
Press
Status
Return and Refund Policy
Cookie settings

Why shop with us?

Approved
Top-rated on Trustpilot based on thousands of customer reviews
Service
Personal customer service that you can talk to
Scandinavia's biggest selection
Huge selection of new and upcoming releases - 8,100,000 titles at low prices VINYL · CD · K-POP · DVD · MERCHANDISE · BOOKS

Do you want to be among the first to hear about exclusive deals, limited releases, and major news in music? Subscribe to our newsletter (English) here:

K-POP

Trustpilot rating

Klima bevis

© 2026 iMusic A/S.