4.7
Alles in Vinyl, CD & Merch
Alles in 4K UHD, Blu-Ray & DVD
Enorme K-pop selectie
Klantenservice
Klantenservice
Klantenservice
Algemene FAQ
Vinyl FAQ
Contact
Cadeaubon
Toggle navigation
Alle 1 Lennart Beringer releases op Paperback Book
Geavanceerde zoekopties
EUR
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 (Canada)
English (Hong Kong)
English (Ireland)
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)
中文
日本語
Login
Alle
Alle
Voorpagina
Sale
Vinyl
CD's
K-pop
Film
Merchandise
Boeken
Geavanceerde zoekopties
Categorieën
Voorpagina
Sale
Vinyl
CD's
K-pop
Film
Merchandise
Boeken
Andere
Klantenservice
Klantenservice
Algemene FAQ
Vinyl FAQ
Contact
Cadeaubon
Inloggen
EUR
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 (Canada)
English (Hong Kong)
English (Ireland)
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)
中文
日本語
×
Sale
Vinyl
CD's
K-pop
Film
Merchandise
Boeken
Sale
Vinyl
CD's
K-pop
Film
Merchandise
Boeken
Uitgaven door
Lennart Beringer
Op voorraad bij iMusic
Toon niet beschikbare artikelen
Sorteren
Componist
Verschijningsdatum (nieuwste eerst)
Releasedatum (oudste eerst)
Prijs (laag → hoog)
Prijs (hoog → laag)
Popularitet
Største rabatter
Sortér
Paperback Book
2012 edition
Interactive Theorem Proving: Thi...
(2012)
Lennart Beringer
€ 60,49
Koop
![Cover for Lennart Beringer · Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/461/9783642323461.jpg?lennart-beringer-2012-interactive-theorem-proving-third-international-conference-itp-2012-princeton-nj-usa-august-13-15-2012-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1583130109)