Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer, január 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Celý popis
? points 145 b
60.14 €
Skladom Ihneď na stiahnutie

Zákazníci tiež kúpili

????:?????? ????? / E-kniha Adobe ePub DRM
common.buy 6.57 €
Lettre De M. Mairan Au R. P. Parrenin ... / Kniha Brožovaná
common.buy 20.24 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-kniha Adobe ePub DRM
common.buy 3.03 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Kniha binding.
common.buy 17.51 €
Top
Vítejte v pekle Roman Bureš / Kniha Brožovaná
common.buy 10.42 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-kniha Adobe ePub DRM
common.buy 42.72 €
Streitlust und Streitkunst Stephan Russ-Mohl / E-kniha Adobe ePub DRM
common.buy 26.42 €
Cervantes SANTIAGO MUÑOZ MACHADO / Kniha Pevná
common.buy 51.13 €
TECHNOPOLES collegium / Kniha Brožovaná
common.buy 16.09 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Kniha Brožovaná
common.buy 12.14 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Kniha Brožovaná
common.buy 37.36 €
Pripravujeme
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Kniha Kniha
common.buy 16.19 €
Die Möglichkeit des Andersseins Paul Watzlawick / Kniha Pevná
common.buy 27.13 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation
Autor Ahmed Bouajjani, David Monniaux
Jazyk Angličtina
Väzba E-kniha - Adobe ePub DRM
Dátum vydania 2017
EAN 9783319522340
Libristo kód 41038562
Nakladateľstvo Springer

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Enhanced Test Automation with WebdriverIO Paul M. Grossman / E-kniha Adobe ePub DRM
common.buy 35.63 €
UK Environmental Policy in the 1990s Tim S. Gray / Kniha Pevná
common.buy 109.45 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Kniha Pevná
common.buy 253.85 €
Understanding School Refusal Karen J. Grandison / E-kniha Adobe ePub DRM
common.buy 40.09 €
Intelligent Systems Design and Applications Ajith Abraham / Kniha Brožovaná
common.buy 308.74 €
Advanced Woodwork and Furniture Making John Louis Feirer / Kniha Brožovaná
common.buy 26.52 €
It Begins With You MARI WILLIAMS / Kniha Brožovaná
common.buy 18.32 €
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 25.00 €
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 12.34 €
Wicked Delight Lily Harper Hart / Kniha Brožovaná
common.buy 12.34 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-kniha Adobe ePub DRM
common.buy 21.46 €
Enlightenment Now Steven Pinker / Kniha Pevná
common.buy 32.19 €
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 38.27 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Kniha Brožovaná
common.buy 92.34 €
Year Book of Vascular Surgery 2014 Gillespie / Kniha Pevná
common.buy 155.63 €
China's Rise, Russia's Fall Peter Nolan / Kniha Brožovaná
common.buy 53.35 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?