Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Jazyk AngličtinaAngličtina
E-kniha Adobe ePub DRM
E-kniha Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo kód: 41038562
Nakladatelství Springer, leden 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Celý popis
? points 145 b
1 453 Kč
Skladem Ihned ke stažení

Zákazníci také koupili

????:?????? ????? / E-kniha Adobe ePub DRM
common.buy 159 Kč
Lettre De M. Mairan Au R. P. Parrenin ... / Kniha Brožovaná
common.buy 489 Kč
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-kniha Adobe ePub DRM
common.buy 73 Kč
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Kniha binding.
common.buy 424 Kč
Top
Vítejte v pekle Roman Bureš / Kniha Brožovaná
common.buy 219 Kč
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-kniha Adobe ePub DRM
common.buy 1 034 Kč
Streitlust und Streitkunst Stephan Russ-Mohl / E-kniha Adobe ePub DRM
common.buy 638 Kč
Cervantes SANTIAGO MUÑOZ MACHADO / Kniha Pevná
common.buy 1 186 Kč
TECHNOPOLES collegium / Kniha Brožovaná
common.buy 388 Kč
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Kniha Brožovaná
common.buy 293 Kč
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Kniha Brožovaná
common.buy 903 Kč
Připravujeme
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Kniha Kniha
common.buy 369 Kč
Die Möglichkeit des Andersseins Paul Watzlawick / Kniha Pevná
common.buy 655 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. 

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Ahmed Bouajjani, David Monniaux
Jazyk Angličtina
Vazba E-kniha - Adobe ePub DRM
Datum vydání 2017
EAN 9783319522340
Libristo kód 41038562
Nakladatelství Springer

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é 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ů
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

Mohlo by vás také zajímat

Enhanced Test Automation with WebdriverIO Paul M. Grossman / E-kniha Adobe ePub DRM
common.buy 861 Kč
UK Environmental Policy in the 1990s Tim S. Gray / Kniha Pevná
common.buy 2 646 Kč
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Kniha Pevná
common.buy 6 135 Kč
Understanding School Refusal Karen J. Grandison / E-kniha Adobe ePub DRM
common.buy 969 Kč
Intelligent Systems Design and Applications Ajith Abraham / Kniha Brožovaná
common.buy 7 057 Kč
Advanced Woodwork and Furniture Making John Louis Feirer / Kniha Brožovaná
common.buy 641 Kč
It Begins With You MARI WILLIAMS / Kniha Brožovaná
common.buy 444 Kč
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Kniha Brožovaná
common.buy 604 Kč
English Haitian Creole Educational 240 First Words Activity Colors Book for Toddlers (40 All Color Pages): New childrens learning cards for preschool Modern School Learning / Kniha Brožovaná
common.buy 299 Kč
Wicked Delight Lily Harper Hart / Kniha Brožovaná
common.buy 299 Kč
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-kniha Adobe ePub DRM
common.buy 518 Kč
Enlightenment Now Steven Pinker / Kniha Pevná
common.buy 736 Kč
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Kniha Pevná
common.buy 924 Kč
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Kniha Brožovaná
common.buy 2 121 Kč
Year Book of Vascular Surgery 2014 Gillespie / Kniha Pevná
common.buy 3 761 Kč
China's Rise, Russia's Fall Peter Nolan / Kniha Brožovaná
common.buy 1 223 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?