Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

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

Język AngielskiAngielski
E-book Adobe ePub DRM
E-book Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Kod Libristo: 41038562
Wydawnictwo Springer, styczeń 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Cały opis
? points 146 b
254.57 zł
Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

????:?????? ????? / E-book Adobe ePub DRM
common.buy 27.95 zł
Lettre De M. Mairan Au R. P. Parrenin ... / Książka Miękka
common.buy 89.89 zł
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-book Adobe ePub DRM
common.buy 12.72 zł
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Książka binding.
common.buy 66.34 zł
TOP
Vítejte v pekle Roman Bureš / Książka Miękka
common.buy 46.90 zł
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-book Adobe ePub DRM
common.buy 180.90 zł
Streitlust und Streitkunst Stephan Russ-Mohl / E-book Adobe ePub DRM
common.buy 112.14 zł
Cervantes SANTIAGO MUÑOZ MACHADO / Książka Twarda
common.buy 225.70 zł
TECHNOPOLES collegium / Książka Miękka
common.buy 67.84 zł
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Książka Miękka
common.buy 53.91 zł
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Książka Miękka
common.buy 165.97 zł
Zapowiedź
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Książka Książka
common.buy 68.55 zł
Die Möglichkeit des Andersseins Paul Watzlawick / Książka Twarda
common.buy 100.62 zł

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. 

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verification, Model Checking, and Abstract Interpretation
Autor Ahmed Bouajjani, David Monniaux
Język Angielski
Oprawa E-book - Adobe ePub DRM
Data wydania 2017
EAN 9783319522340
Kod Libristo 41038562
Wydawnictwo Springer

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Enhanced Test Automation with WebdriverIO Paul M. Grossman / E-book Adobe ePub DRM
common.buy 150.83 zł
UK Environmental Policy in the 1990s Tim S. Gray / Książka Twarda
common.buy 484.79 zł
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Książka Twarda
common.buy 1 022.01 zł
Understanding School Refusal Karen J. Grandison / E-book Adobe ePub DRM
common.buy 169.67 zł
Intelligent Systems Design and Applications Ajith Abraham / Książka Miękka
common.buy 1 305.45 zł
Advanced Woodwork and Furniture Making John Louis Feirer / Książka Miękka
common.buy 117.86 zł
It Begins With You MARI WILLIAMS / Książka Miękka
common.buy 81.17 zł
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Książka Miękka
common.buy 112.65 zł
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 / Książka Miękka
common.buy 55.31 zł
Wicked Delight Lily Harper Hart / Książka Miękka
common.buy 55.31 zł
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-book Adobe ePub DRM
common.buy 91.10 zł
Enlightenment Now Steven Pinker / Książka Twarda
common.buy 136.30 zł
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Książka Twarda
common.buy 169.88 zł
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Książka Miękka
common.buy 390.68 zł
Year Book of Vascular Surgery 2014 Gillespie / Książka Twarda
common.buy 658.18 zł
China's Rise, Russia's Fall Peter Nolan / Książka Miękka
common.buy 225.70 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo