Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Verification, Model Checking, and Abstract Interpretation

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

Taal EngelsEngels
E-book Adobe ePub DRM
E-book Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo-code: 41038562
Uitgeverij Springer, januari 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Volledige beschrijving
? points 145 b
60.15 €
Op voorraad Onmiddellijk te downloaden

Klanten kochten ook

????:?????? ????? / E-book Adobe ePub DRM
common.buy 6.57 €
Lettre De M. Mairan Au R. P. Parrenin ... / Boek Gebonden (paperback)
common.buy 21.26 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-book Adobe ePub DRM
common.buy 3.03 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Boek binding.
common.buy 17.51 €
TOP
Vítejte v pekle Roman Bureš / Boek Gebonden (paperback)
common.buy 11.74 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-book Adobe ePub DRM
common.buy 42.73 €
Streitlust und Streitkunst Stephan Russ-Mohl / E-book Adobe ePub DRM
common.buy 26.53 €
Cervantes SANTIAGO MUÑOZ MACHADO / Boek Gebonden (harde band)
common.buy 55.49 €
TECHNOPOLES collegium / Boek Gebonden (paperback)
common.buy 16.09 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Boek Gebonden (paperback)
common.buy 12.75 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Boek Gebonden (paperback)
common.buy 39.29 €
Wordt verwacht
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Boek Boek
common.buy 16.20 €
Die Möglichkeit des Andersseins Paul Watzlawick / Boek Gebonden (harde band)
common.buy 23.79 €

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. 

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification, Model Checking, and Abstract Interpretation
Auteur Ahmed Bouajjani, David Monniaux
Taal Engels
Bindwijze E-book - Adobe ePub DRM
Datum van uitgifte 2017
EAN 9783319522340
Libristo-code 41038562
Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Enhanced Test Automation with WebdriverIO Paul M. Grossman / E-book Adobe ePub DRM
common.buy 35.64 €
UK Environmental Policy in the 1990s Tim S. Gray / Boek Gebonden (harde band)
common.buy 119.81 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Boek Gebonden (harde band)
common.buy 253.80 €
Understanding School Refusal Karen J. Grandison / E-book Adobe ePub DRM
common.buy 40.10 €
Intelligent Systems Design and Applications Ajith Abraham / Boek Gebonden (paperback)
common.buy 308.80 €
Advanced Woodwork and Furniture Making John Louis Feirer / Boek Gebonden (paperback)
common.buy 27.84 €
It Begins With You MARI WILLIAMS / Boek Gebonden (paperback)
common.buy 19.23 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Boek Gebonden (paperback)
common.buy 26.63 €
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 / Boek Gebonden (paperback)
common.buy 13.06 €
Wicked Delight Lily Harper Hart / Boek Gebonden (paperback)
common.buy 13.06 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-book Adobe ePub DRM
common.buy 21.56 €
Enlightenment Now Steven Pinker / Boek Gebonden (harde band)
common.buy 32.20 €
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Boek Gebonden (harde band)
common.buy 40.20 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Boek Gebonden (paperback)
common.buy 97.02 €
Year Book of Vascular Surgery 2014 Gillespie / Boek Gebonden (harde band)
common.buy 162.95 €
China's Rise, Russia's Fall Peter Nolan / Boek Gebonden (paperback)
common.buy 53.37 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken