Freunde Einladen Belohnungen Erhalten

APP herunterladen

JDirectItems Fleamarket

JDirectItems Auction

1 / 2

Bitte lesen Sie die Artikelbeschreibung sorgfältig durch, da die Artikelfotos möglicherweise nicht mit dem tatsächlichen Produkt übereinstimmen. Originalseite anzeigen

Übersetzen

Interactive Theorem Proving

Gebraucht
Keine offensichtlichen Schäden/Flecken
Versicherter Versand

Preis

¥ 2,800

Preissenkungsbenachrichtigung

Artikel Zustand

Keine offensichtlichen Schäden/Flecken

Japan Inlandsversand

¥0

Geschätzte Versanddauer

Innerhalb von 2~3 Tagen (Nur als Referenz)

Verkäufer

たらず

Bewertung

175

0

Coqを用いた数学的証明とソフトウェア開発のためのインタラクティブな手法を解説した書籍。 - 著者: Yves Bertot, Pierre Castéran - タイトル: Interactive Theorem Proving and Program Development - 出版社: Springer - シリーズ名: Texts in Theoretical Computer Science - ISBN: 978-3-540-00497-0 ご覧いただきありがとうございます。

Artikel-Beschreibung

Übersetzen

Shopping-Bewertung

Bone thugs T.H.U.G.S

Bone thugs T.H.U.G.S

Also wir in Europa Germany sind von der Qualität begeistert,das was bei euch als gebraucht gilt ist bei uns als neu zu bewerten.Der S...

This is a really good all if you’re buying merch and collectables, shipping was fast, prices were low, item came in great condition, ...

I am over the moon!

I am over the moon!

My Gensou Airly CD came today! I am so happy, it arrived in perfect condition and in a good timely manner. Thank you Doorzo, I am sti...

first purchase on doorzo

first purchase on doorzo

Happily received the book without any damage. I will definitely use doorzo again for 2nd time purchase next time :33

Arrived in amazing condition! Very happy!

Arrived in amazing condition! Very happy!

I orded this Hiyama Kiyoteru CD, it arrived in good time, the packaging was top quality and the item was in perfect condition. I love...

Man... I obsessed :)

Man... I obsessed :)

As always in excellent condition, even though the merch itself is old.

UFO, Roxette , Boston, Loverboy, Survivor, Bob Seger, Glenn Frey And Alan Parsons Project

UFO, Roxette , Boston, Loverboy, Survivor, Bob Seger, Glenn Frey And Alan Parsons Project

All cds receive in good condition accept Roxette seller mark as no apparent damage but receive in very poor condition very disappoin...

Ching Chew Ming

the summer hikaru died card bundleee! AHH

the summer hikaru died card bundleee! AHH

I love doorzooo all this stuff came perfectly idk what else to say. buy. all service amazing.

64072c408222f0ff

Hokuto no Ken OST

Hokuto no Ken OST

Original Fist of the North Star (Hokuto no Ken) vinyl soundtrack from the 1980s. Includes full-color cover, insert with Japanese lyri...

595e186d6464a4c6

Second Doorzo Haul

Second Doorzo Haul

My second Doorzo Haul. I bought a Kenji Miyazawa novel which is Night on a Galactic Railway and "The Restaurant of Many Order...

i just received my book!, i love it soo much! it s very cute and no defect at all, it wrapped very nicely and neat. i takes wayyy to ...

Megami Magazine (May/June/July

Megami Magazine (May/June/July

Left Japan back in March so I wasn’t able to get the other issues of this magazine, but alas I have them. Ty Doorzo for the quick n e...

Compact disc and mei totoro

Compact disc and mei totoro

Good Packaging, Good Tracking process and Love it ❤️

J-pop mail day!!!

J-pop mail day!!!

This is my first order from doorzo and everything arrived safely! And the shipping was way faster than I expected it only took about ...

lily_lovetomochin

first Doorzo order

first Doorzo order

I was pleasantly surprised with this proxy site. I’m really happy with my CD and definitely will be buying more!! Thank you to the se...

2nd hand CDs (My second time using Doorzo)

2nd hand CDs (My second time using Doorzo)

Pretty fair price for the second hand CDs I received! Doorzo managed to deliver my things just in time, thank you! Will continue usin...

僕の心のヤバイやつ12巻 The Dangers in My Heart Volume 12

僕の心のヤバイやつ12巻 The Dangers in My Heart Volume 12

Is my first time buy from Animate Online Shop through Doorzo. Comics & Illustration Card also Arrived Safety. No damages Apparent...

Very efficient way to find my favourite Fire Emblem merchandise!

Very efficient way to find my favourite Fire Emblem merchandise!

I have purchased from Doorzo for the first time, as I wanted a Fire Emblem manga for an affordable price. The product came in good c...

Pink, Paul McCartney,Loverboy, Queen Foreigner, Julia Fordham, Eagles, Spandau Ballet,Led Zeppelin And Kitaro

Pink, Paul McCartney,Loverboy, Queen Foreigner, Julia Fordham, Eagles, Spandau Ballet,Led Zeppelin And Kitaro

All cds received in very good condition only Roxette never received seller send me wrong cd felt disappointed

Ching Chew Ming

3rd Doorzo Order

3rd Doorzo Order

The packaging is really well done! I know lots of people have concerns about ocean freight because it takes a while to arrive. I have...

407e74a07e3a9b80

my first time using doorzo

my first time using doorzo

im so excited when I received my very 1st doujin that I ever wanted. waited only for 2 weeks and it came with well package.

233432b439f9ab18

cds, collection

cds, collection

this is my 2nd order, the items arrived without any damages

Seraph of the End :)

Seraph of the End :)

Doorzo Review My shopping experience with Doorzo has been quite positive overall. As a first-time buyer, I was pleasantly surprised ...

Doorzo haul using ECMS

Doorzo haul using ECMS

Doorzo haul, Used ECMS for this parcel and it took only 3 days to reach from Japan to Malaysia. Consolidation took 3 days and another...

It is a nice anime magazine and it looks great but no damaged at all. There isnt anything much and nice photos in the magazine.

GUILTY GEAR SOUND LIVE!

GUILTY GEAR SOUND LIVE!

After just a little over a week, my Guilty Gear Sound Live CD came home from Japan! I am so thrilled to finally have a copy thanks to...

3rd doorzo haul!!

3rd doorzo haul!!

My 3rd doorzo haul!! This time I split the shipping between my friends so we could get stuff we wanted without spending too much mone...

Yazoo, Deep Purple, Santana, Eurythmics, Phil Collins Alison Moyet, Paul Young,Huey Lewis And The News

Yazoo, Deep Purple, Santana, Eurythmics, Phil Collins Alison Moyet, Paul Young,Huey Lewis And The News

All cds received and well packaged without damaging thanks to all sellers and Doorzo

Ching Chew Ming

1st order. 10/10 experience

1st order. 10/10 experience

Received my parcel well packed and sealed. None of my doujins were damaged or creased. I love buying 2nd-hand goods from Japan. Even ...

Hanako kun GFantasy order !

Hanako kun GFantasy order !

Happy with my order as always, Doorzos customer service is reliable and answered every question about the price adjustement and such....

xmen manga from the 90s!!! great seller and nice packaging!

Demon Slayer haul, plus stuff from other fandoms~

Demon Slayer haul, plus stuff from other fandoms~

This time, I was able to resist opening everything and take a photo lol Super reliable packaging once again Every item delivered as ...

Megami megazine

Megami megazine

It is a great magazine and not much but I would like to afford more of the new magazine in years time.

First time buying things in Doorzo

First time buying things in Doorzo

Always wanted to buy manga lol, thankfully the books are in good condition

a8121933fa124ab1

3rd Doorzo Order

3rd Doorzo Order

Satisfied with Doorzos service as always. All items came neatly and safely wrapped with lots of bubble wrap and everything came in go...

Finally I found a way to get even old out of print items from my favourite Japanese artists! I love it!

Definitely one of my favorite purchases here

Definitely one of my favorite purchases here

For some reason I couldn’t buy this specific item through the proxy services I used before. I’m amazed by what I got and how good the...

The rest of the items arrived

The rest of the items arrived

Here I will post the photos of only one of the stuff I orderd. I’m really happy with the customer service and the shipping was quicke...

First order arrived

First order arrived

I got everything just as pictured, I’m really happy with the service. The package was shipped really quick and arrived sooner than I ...

Have been looking for this anime set for years!

Have been looking for this anime set for years!

my third doorzo haul was great, as usual! this time, I found a vhs set of an anime I saw as a kid! I've looked for this set for s...

i love it i love hahahahrhhahhrhhshahrh so fire gang ts dont pmo i love ir i love say gex i love yaoi so cool nagibarou nagibarou heh...

Thank you again doorzo for having all the rare things I could want. As usual their delivery time was quick, the items were well packe...

Nice packaging and delivery

Nice packaging and delivery

This is my first time using doorzo. At first I thought their packaging will be bad but it seems perfect. The books reached my house w...

Doorzo Review 1: Magazines

Doorzo Review 1: Magazines

You have no idea how satisfied and happy I am! The package came in perfectly with no damages done to the magazines and I didn’t even ...

More Citypop Records Haul @Doorzo

More Citypop Records Haul @Doorzo

Doorzo provides the opportunity for any record fans from all over the world to shop at exclusive Japanese platforms; which you can ge...

another manga haul. the manga are new and in perfect conditions. i found 7 solo leveling volumes at half the original price and they...

Very happy! The two books came well packaged and fasted then I expected. I'm so happy to have this manga artist in my collect...

The shipping was very quick which made me glad and it was packed nicely the cds were the same as it was in the photos

Avogado6 Books!

Avogado6 Books!

So happy to finally own all the books from one of my favorite artists! The books were packaged nicely and arrived in excellent condit...

FINAL FANTASY X OST PRE-ORDER BONUS &amp; feel / Go dream

FINAL FANTASY X OST PRE-ORDER BONUS &amp; feel / Go dream

Second ost album for collection. Will collect another ost next month!

Shipment Arrived

Shipment Arrived

My package from Japan is always well protected and arrives safely.

Scorpions, Yazoo, Patricia Barber George Michael, Boney M, Phil Collins, A Ha, Rod Stewart, Led Zeppelin Rickie Lee Jones, Metallica

Scorpions, Yazoo, Patricia Barber George Michael, Boney M, Phil Collins, A Ha, Rod Stewart, Led Zeppelin Rickie Lee Jones, Metallica

All 13 cds well received and packed nicely thanks to all sellers

Ching Chew Ming

A few Nintendo booklets

A few Nintendo booklets

Bought a few official Nintendo Switch booklets and magazines and was quite happy with the experience. The items arrived quickly and ...

First Doorzo Haul!

First Doorzo Haul!

My first time using doorzo, highly satisfied, everything was well packed and secured. Can’t wait for my second haul! Thank you Doorz...

my first purchase with doorzo! altho used sea shipping it came faster then expected, all items were as described too!

Beautiful Collection!

Beautiful Collection!

I just received the manga and it’s in such amazing condition! The corners are super neat and everything looks beautiful. I’m really h...

c926ad133d4fba0b

Second Buy: Still Pokémon Adventure!

Second Buy: Still Pokémon Adventure!

Thank you seller and the apps for items can be search and purchase easily. This is my second time to buy books from Japan, the inter...

FINAL FANTASY X-2 OSTINTERNATIONAL+ LAST MISSION OST

FINAL FANTASY X-2 OSTINTERNATIONAL+ LAST MISSION OST

Bought it and keep it as a collection. And it looks great!

Received my manga! Some volumes were out of stock but I will be ordering them very soon :] It was shipped very fast and delivered bef...

the book came in fast, no odor, clean book and it was packaged with great care. I will purchase from this seller again

Brauchen Sie Hilfe? Bitte erstellen Sie ein Kunden-Ticket

Sprache

EN
简体
繁體
日本語
Deutsch
Italiano
Español
Français
한국어
Polski
العربية
Bahasa Melayu

Copyright © 2015-2025 doorzo.com, All Rights Reserved

Versand-Rechner
Leitfaden für neue Benutzer
FAQ
Kunden-Ticket
Chatbot-Kundendienst