7+ million items All in vinyl, CD, merch & movies World wide delivery Huge in k-pop

Of Denmark since 2005

USD
Search Search
- Search
- Advanced Search Options
Customer Service Customer Service
Gift Card
Log in

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

Home
Campaigns
Vinyl
CD's
K-pop
Movies
Merchandise

Home
Campaigns
Vinyl
CD's
K-pop
Movies
Merchandise

Showing Paperback Book · Show all
Show unavailable items

Releases by Ofer Strichman

May 15, 2010

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
All publications
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
Scandinavia's biggest webshop for VINYL · CDs · K-POP · MOVIES · MERCHANDISE · 7,600,000 titles at low prices

Receive our newsletter - with special offers & the biggest album news!

© 2024 iMusic A/S. Sindalsvej 36, Risskov, Denmark