Toggle navigation
Tanskasta 2005 lähtien
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)
Hae
Hae
Hae
Tarkennettu haku
Asiakaspalvelu
Asiakaspalvelu
Asiakaspalvelu
Kysymykset ja vastaukset
Vinyyli UKK
Yhteystieto
Lahjakortti
Kirjaudu sisään
Hae
Kaikki 1s julkaisut Byron Cook
Home
Sale
Vinyyli
CD-levyjä
K-pop
Elokuva
Kirjat
Merchandise
Home
Home
Sale
Vinyyli
CD-levyjä
K-pop
Elokuva
Kirjat
Fanituote
Hae
Paperback Book
Näytä loppuunmyydyt julkaisut
Julkaisut sisältäen
Byron Cook
keskiviikko 3. tammikuuta 2007
Paperback Book
2007 edition
Verification, Model Checking, an...
(2007)
Byron Cook
€ 67,49
Osto
![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)