phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 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 Ahmed Bouajjani
Libristo kód: 15560990
Nakladatelství Springer International Publishing AG, ledna 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Peppa Pig: Hide and Peek Peppa Pig / Leporelo
common.buy 196 Kč
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Brožovaná
common.buy 1 518 Kč
Herrliche Zeiten im Spessart Kurt Hoffmann / Blu-ray
common.buy 561 Kč
Red Earth Joel Canfield / Brožovaná
common.buy 594 Kč
Satires Contre Les Astronomes MERCIER-L-S / Brožovaná
common.buy 399 Kč
Adventures of Hugh Jorgan Rock Harding / Brožovaná
common.buy 311 Kč
Lehrer sein! Johannes Baumann / Brožovaná
common.buy 627 Kč

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Ahmed Bouajjani, David Monniaux
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 560
EAN 9783319522333
ISBN 3319522337
Libristo kód 15560990
Nakladatelství Springer International Publishing AG
Váha 8657
Rozměry 155 x 235 x 31

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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