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
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

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 153 b
62.59 €
Disponibile Consegna digitale immediata

I clienti hanno acquistato anche

????:?????? ????? / Libro elettronico Adobe ePub DRM
common.buy 6.89 €
Lettre De M. Mairan Au R. P. Parrenin ... / Libro In brossura
common.buy 21.99 €
50 recettes de Salades fraicheurs pour le printemps et l'ete Pierre-Emmanuel Malissin / Libro elettronico Adobe ePub DRM
common.buy 3.09 €
Eleganckie pióro kulkowe EnerGel 0,7 mm BL2007-C granatowe w etui / Libro binding.
common.buy 17.49 €
Vítejte v pekle Roman Bureš / Libro In brossura
common.buy 12.29 €
Architektur, Atmosphare, Wahrnehmung Martin Duchs / Libro elettronico Adobe ePub DRM
common.buy 44.49 €
Streitlust und Streitkunst Stephan Russ-Mohl / Libro elettronico Adobe ePub DRM
common.buy 27.49 €
Cervantes SANTIAGO MUÑOZ MACHADO / Libro Rigido
common.buy 52.69 €
TECHNOPOLES collegium / Libro In brossura
common.buy 16.49 €
de l'Angine Ulcereuse Et Du Muguet de la Gorge Dans La Fievre Typhoide, Communications DUGUET-J / Libro In brossura
common.buy 13.19 €
Deutsches Theatrum Chemicum: Bibliotheca Chemica, Oder Catalogus Von Chymischen-b�chern, Volume 2 Friedrich Rothscholzen / Libro In brossura
common.buy 40.69 €
In preparazione
Große Gartenfreude mit kleinem Budget Kristine Hamilton / Libro Libro
common.buy 16.99 €
Die Möglichkeit des Andersseins Paul Watzlawick / Libro Rigido
common.buy 24.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. 

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 37.59 €
UK Environmental Policy in the 1990s Tim S. Gray / Libro Rigido
common.buy 113.19 €
Disorders of the Hair and Nail: Diagnosis and Treatment Bianca Maria Piraccini / Libro Rigido
common.buy 245.49 €
Understanding School Refusal Karen J. Grandison / Libro elettronico Adobe ePub DRM
common.buy 41.69 €
Intelligent Systems Design and Applications Ajith Abraham / Libro In brossura
common.buy 321.39 €
Advanced Woodwork and Furniture Making John Louis Feirer / Libro In brossura
common.buy 28.79 €
It Begins With You MARI WILLIAMS / Libro In brossura
common.buy 19.79 €
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 27.89 €
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 €
Wicked Delight Lily Harper Hart / Libro In brossura
common.buy 13.59 €
Microsoft Azure AI-102 Practice Tests CertSquad Professional Trainers / Libro elettronico Adobe ePub DRM
common.buy 22.29 €
Enlightenment Now Steven Pinker / Libro Rigido
common.buy 33.59 €
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 41.59 €
Practical Emergency Resuscitation and Critical Care Kaushal ShahJarone LeeKamal MedlejScott D. Weingart / Libro In brossura
common.buy 95.79 €
Year Book of Vascular Surgery 2014 Gillespie / Libro Rigido
common.buy 162.49 €
China's Rise, Russia's Fall Peter Nolan / Libro In brossura
common.buy 55.49 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?