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 69.99 €
DPD koerier 6.49 € Bpost punt 8.49 € Bpost 7.99 € DPD-punt 3.99 € GLS koerier 5.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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 151 b
62.09 €
Op voorraad Onmiddellijk te downloaden

Klanten kochten ook

En lek med hjartan Barbara Cartland / E-book Adobe ePub DRM
common.buy 8.93 €
Vítejte v pekle Roman Bureš / Boek Paperback
common.buy 11.65 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / E-book Adobe ePub DRM
common.buy 44.21 €
Na ostří nože Julie James / Boek Gebonden
common.buy 9.94 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Boek binding.
common.buy 16.97 €
Nebenverdienst mit Heimarbeit 2 Sigmund Schmid / E-book Adobe ePub DRM
common.buy 16.47 €
Noble new world adventures - La guilde des aventuriers T02 Akane Sasaki / Boek Paperback
common.buy 10.14 €
Minden apró esőcsepp Mia Sheridan / Boek Gebonden
common.buy 15.16 €
Lettre De M. Mairan Au R. P. Parrenin ... / Boek Paperback
common.buy 21.60 €
Tartaria - Ostatnia Krucjata David Ewing Jr / Boek Paperback
common.buy 38.08 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / E-book Adobe ePub DRM
common.buy 3.51 €
????:?????? ????? / E-book Adobe ePub DRM
common.buy 6.52 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Boek Paperback
common.buy 12.95 €
MRSA-net MK. Ein regionales Netzwerk zur Pravention und Kontrolle von MRSA im Markischen Kreis Torsten Sauer / Boek Paperback
common.buy 16.97 €
Was ist Religion? Kulturabteilung der Botschaft der Islamischen Republik Iran in Berlin / Boek Paperback
common.buy 12.55 €
Die Möglichkeit des Andersseins Paul Watzlawick / Boek Gebonden
common.buy 23.61 €
escenarios de la responsabilidad social universitaria Alcivar Trejo Carlos / Boek Paperback
common.buy 42.90 €
Cours d'Etudes Mathematiques Pures Et Appliquees. Partie 2 Duboys-Labernarde-C-A / Boek Paperback
common.buy 28.13 €
Wordt verwacht
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Boek Boek
common.buy 16.08 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Boek Paperback
common.buy 39.99 €
The Very Best of Lou Rawls Lou Rawls Audio Audio cd
common.buy 8.03 €
Streitlust und Streitkunst Stephan Russ-Mohl / E-book Adobe ePub DRM
common.buy 26.42 €
O Criminalista: Volume 3 Evinis Talon / Boek Paperback
common.buy 7.33 €
The Crow - Ultimate Edition James O'Barr / Boek Gebonden
common.buy 26.72 €

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 36.87 €
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 Paperback
common.buy 13.25 €
The Maison Tellier Guy De Maupassant / Boek Paperback
common.buy 15.57 €
Enlightenment Now Steven Pinker / Boek Gebonden
common.buy 31.96 €
Voordelig
Power Maths Year 4 Teacher Guide 4A / Boek Ringband
common.buy 4.21 €
Pink Is for Boys Eda Kaban / Boek Gebonden
common.buy 15.37 €
Disenfranchising Democracy Bateman / Boek Paperback
common.buy 41.90 €
TOP
The Ballad of Songbirds and Snakes Deluxe Suzanne Collins / Boek Paperback
common.buy 12.15 €
Wicked Delight Lily Harper Hart / Boek Paperback
common.buy 13.25 €
Just Friends (A Real Man, 19) Jenika Snow / Boek Paperback
common.buy 13.25 €
National Security Letters: Proposals in the 113th Congress Congressional Research Service / Boek Paperback
common.buy 19.69 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Boek Paperback
common.buy 27.22 €
It Begins With You MARI WILLIAMS / Boek Paperback
common.buy 19.59 €
Blue Ocean Strategy + Beyond Disruption Collection (2 Books) W. Chan Kim / E-book Adobe ePub DRM
common.buy 65.11 €
Amazing Facts Sir David Attenborough Hannah Wilson / E-book Adobe ePub DRM
common.buy 5.92 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Boek Gebonden
common.buy 253.53 €
Advanced Woodwork and Furniture Making John Louis Feirer / Boek Paperback
common.buy 30.55 €
Intelligent Systems Design and Applications Ajith Abraham / Boek Paperback
common.buy 306.39 €
Understanding School Refusal Karen J. Grandison / E-book Adobe ePub DRM
common.buy 41.39 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / E-book Adobe ePub DRM
common.buy 21.39 €
Molecular Biomineralization Werner E. G. Müller / Boek Paperback
common.buy 193.34 €
TOP
Karate-do: My Way Of Life Gichin Funakoshi / Boek Paperback
common.buy 9.03 €
UK Environmental Policy in the 1990s Tim S. Gray / Boek Gebonden
common.buy 118.17 €
China's Rise, Russia's Fall Peter Nolan / Boek Paperback
common.buy 52.95 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?