Toggle navigation
Au Danemark depuis 2005
EUR
AUD
(Australian Dollars)
A$
BRL
(Brazilian real)
R$
CAD
(Canadian Dollars)
CA$
CHF
(Swiss francs)
Fr.
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)
PLN
(Polish złotys)
zł
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 (United Kingdom)
Español
Français
Nederlands
Norsk
Polski
Português
Português do Brasil
Suomi
Svenska
Vlaamse (Belgium)
Recherche
Recherche
Recherche
Options de recherche avancée
Service clientèle
Service clientèle
Service clientèle
FAQ générale
FAQ sur le vinyle
Contact
Carte cadeau
Connectez-vous
Recherche
Toutes les 1 Byron Cook sorties sur Paperback Book
Home
Offres
Vinyle
CD
K-pop
Film
Livres
Merchandise
Home
Home
Offres
Vinyle
CD
K-pop
Films
Livres
Marchandise
Recherche
Paperback Book
Montrer les articles indisponibles
Communiqués par
Byron Cook
3 janvier 2007
Paperback Book
2007 edition
Verification, Model Checking, an...
(2007)
Byron Cook
€ 61,49
Acheter
![Cover for Byron Cook · Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/350/9783540697350.jpg?byron-cook-2007-verification-model-checking-and-abstract-interpretation-8th-international-conference-vmcai-2007-nice-france-january-14-16-2007-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1611682282)