phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Verification, Model Checking, and Abstract Interpretation

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Constantin Enea
Libristo kód: 21040880
Nakladatelství Springer Nature Switzerland AG, ledna 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Celý popis
? points 147 b
1 472 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-14 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
The Negroni Matt Hranek / Pevná
common.buy 346 Kč
TOP
Demon in the Wood Leigh Bardugo / Pevná
common.buy 400 Kč
TOP
City of Dusk Tara Sim / Pevná
common.buy 437 Kč
Carnage, U.s.a. (new Printing) Zeb Wells / Brožovaná
common.buy 393 Kč
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Hračka
common.buy 164 Kč
Blind Descent James Tabor / Brožovaná
common.buy 283 Kč
Schule für kleine Trommel Felix Dierkes / Brožovaná
common.buy 893 Kč
Zermatt / Brožovaná
common.buy 331 Kč
Advanced Python Programming DR. GABRIELE LANARO / Brožovaná
common.buy 998 Kč
What in the World? Look Again National Geographic Kids / Pevná
common.buy 338 Kč
Gefühle Wimmelbuch / Leporelo
common.buy 301 Kč
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Brožovaná
common.buy 496 Kč
Dragon Ball Serie Roja nº 282 Akira Toriyama / Brožovaná
common.buy 88 Kč
Die Jahre der Vernichtung 1939-1945 Saul Friedländer / Pevná
common.buy 957 Kč
Cannabinoid Cookbook Daniel Green / Pevná
common.buy 587 Kč
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Brožovaná
common.buy 349 Kč

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Constantin Enea, Ruzica Piskac
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2019
Počet stran 602
EAN 9783030112448
ISBN 3030112446
Libristo kód 21040880
Nakladatelství Springer Nature Switzerland AG
Váha 937
Rozměry 155 x 235 x 235

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet