Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Verification, Model Checking, and Abstract Interpretation

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

Lingua IngleseInglese
Libro elettronico Adobe ePub DRM
Libro elettronico Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Codice Libristo: 41038562
Casa editrice Springer, gennaio 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Descrizione completa
? points 126 b
51.29 €
Disponibile Consegna digitale immediata

I clienti hanno acquistato anche

En lek med hjartan Barbara Cartland / Libro elettronico Adobe ePub DRM
common.buy 7.39 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Libro binding.
common.buy 13.59 €
Was ist Religion? Kulturabteilung der Botschaft der Islamischen Republik Iran in Berlin / Libro In brossura
common.buy 10.49 €
Nebenverdienst mit Heimarbeit 2 Sigmund Schmid / Libro elettronico Adobe ePub DRM
common.buy 13.79 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / Libro elettronico Adobe ePub DRM
common.buy 2.49 €
MRSA-net MK. Ein regionales Netzwerk zur Pravention und Kontrolle von MRSA im Markischen Kreis Torsten Sauer / Libro In brossura
common.buy 14.89 €
????:?????? ????? / Libro elettronico Adobe ePub DRM
common.buy 5.49 €
Lettre De M. Mairan Au R. P. Parrenin ... / Libro In brossura
common.buy 17.89 €
Minden apró esőcsepp Mia Sheridan / Libro Rigido
common.buy 11.89 €
Vítejte v pekle Roman Bureš / Libro In brossura
common.buy 9.29 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / Libro elettronico Adobe ePub DRM
common.buy 36.39 €
Streitlust und Streitkunst Stephan Russ-Mohl / Libro elettronico Adobe ePub DRM
common.buy 22.09 €
Cervantes SANTIAGO MUÑOZ MACHADO / Libro Rigido
common.buy 46.39 €
TECHNOPOLES collegium / Libro In brossura
common.buy 12.79 €
L'Ange du Lac (L'Orpheline des neiges, Tome 6) Marie-Bernadette Dupuy / Libro In brossura
common.buy 14.29 €
Die Möglichkeit des Andersseins Paul Watzlawick / Libro Rigido
common.buy 20.89 €
escenarios de la responsabilidad social universitaria Alcivar Trejo Carlos / Libro In brossura
common.buy 31.09 €
The Crow - Ultimate Edition James O'Barr / Libro Rigido
common.buy 23.49 €
Cours d'Etudes Mathematiques Pures Et Appliquees. Partie 2 Duboys-Labernarde-C-A / Libro In brossura
common.buy 23.69 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Libro In brossura
common.buy 10.69 €
In preparazione
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Libro Libro
common.buy 14.09 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Libro In brossura
common.buy 33.09 €

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. 

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Verification, Model Checking, and Abstract Interpretation
Autore Ahmed Bouajjani, David Monniaux
Lingua Inglese
Rilegatura Libro elettronico - Adobe ePub DRM
Data di pubblicazione 2017
EAN 9783319522340
Codice Libristo 41038562
Casa editrice Springer

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Enhanced Test Automation with WebdriverIO Paul M. Grossman / Libro elettronico Adobe ePub DRM
common.buy 30.09 €
Current Controversies in Philosophy of Mind Uriah Kriegel / Libro In brossura
common.buy 53.79 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / Libro elettronico Adobe ePub DRM
common.buy 17.99 €
Blue Ocean Strategy + Beyond Disruption Collection (2 Books) W. Chan Kim / Libro elettronico Adobe ePub DRM
common.buy 52.19 €
Amazing Facts Sir David Attenborough Hannah Wilson / Libro elettronico Adobe ePub DRM
common.buy 4.99 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Libro Rigido
common.buy 212.99 €
Understanding School Refusal Karen J. Grandison / Libro elettronico Adobe ePub DRM
common.buy 34.19 €
Intelligent Systems Design and Applications Ajith Abraham / Libro In brossura
common.buy 271.79 €
Advanced Woodwork and Furniture Making John Louis Feirer / Libro In brossura
common.buy 23.49 €
It Begins With You MARI WILLIAMS / Libro In brossura
common.buy 16.49 €
Annual Report of the Secretary of the State Board of Agriculture ... and ... Annual Report of the Experimental Station ... Michigan State Dept of Agriculture / Libro In brossura
common.buy 21.39 €
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 / Libro In brossura
common.buy 13.59 €
Just Friends (A Real Man, 19) Jenika Snow / Libro In brossura
common.buy 10.89 €
Wicked Delight Lily Harper Hart / Libro In brossura
common.buy 10.89 €
Disenfranchising Democracy Bateman / Libro In brossura
common.buy 35.39 €
Economico
Power Maths Year 4 Teacher Guide 4A / Libro Ad anelli
common.buy 20.99 €
Enlightenment Now Steven Pinker / Libro Rigido
common.buy 28.69 €
The Maison Tellier Guy De Maupassant / Libro In brossura
common.buy 14.79 €
UK Environmental Policy in the 1990s Tim S. Gray / Libro Rigido
common.buy 97.89 €
Annual Report of the Board of Gas and Electric Light Commissioners of the Commonwealth of Massachusetts, Volume 25 Massachusetts Board of Gas and Electric / Libro Rigido
common.buy 33.89 €
China's Rise, Russia's Fall Peter Nolan / Libro In brossura
common.buy 47.19 €
Arnold's March from Cambridge to Quebec Justin H Smith / Libro In brossura
common.buy 31.29 €
Year Book of Vascular Surgery 2014 Gillespie / Libro Rigido
common.buy 126.49 €
Karl Marx's Theory of Ideas John Torrance / Libro In brossura
common.buy 50.19 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo