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

Verification, Model Checking, and Abstract Interpretation

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Codice Libristo: 15560990
Casa editrice Springer International Publishing AG, gennaio 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Satires Contre Les Astronomes MERCIER-L-S / Libro In brossura
common.buy 14.19 €
MEURTRIERS SANS VISAGE Henning Mankell / Libro In brossura
common.buy 15.39 €
Malvadita Keselman / Audiolibro MP3
common.buy 4.19 €
Os animais tem alma? ERNESTO BOZZANO / Libro In brossura
common.buy 14.39 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Libro In brossura
common.buy 7.69 €
Batman - Svět Různí / Libro Rigido
common.buy 20.59 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Libro Rigido
common.buy 63.69 €
In preparazione
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Libro Libro
common.buy 89.69 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Libro In brossura
common.buy 46.59 €
Feelgood-Management Ulrike Weber / Libro In brossura
common.buy 14.99 €
Lehrer sein! Johannes Baumann / Libro In brossura
common.buy 24.79 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Libro In brossura
common.buy 63.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 - In brossura
Data di pubblicazione 2017
Numero di pagine 560
EAN 9783319522333
ISBN 3319522337
Codice Libristo 15560990
Casa editrice Springer International Publishing AG
Peso 8657
Dimensioni 155 x 235 x 31

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
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
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
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

Remaking China's Great Cities Sam Liang / Libro Rigido
common.buy 242.59 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / Libro elettronico Adobe ePub DRM
common.buy 248.09 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Libro Rigido
common.buy 31.99 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / Libro elettronico Adobe ePub DRM
common.buy 51.99 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audiolibro MP3
common.buy 8.69 €
Season's of a Mother's Heart Sally Clarkson / Libro In brossura
common.buy 12.69 €
In preparazione
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Libro Rigido
common.buy 170.19 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Libro In brossura
common.buy 9.79 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Libro In brossura
common.buy 19.39 €
Technology, Modernity, and Democracy Eduardo Beira / Libro Rigido
common.buy 173.89 €
Adventures of Hugh Jorgan Rock Harding / Libro In brossura
common.buy 10.99 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Libro Rigido
common.buy 39.69 €
Red Earth Joel Canfield / Libro In brossura
common.buy 20.99 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Libro In brossura
common.buy 62.89 €
I migliori
Peppa Pig: Hide and Peek Peppa Pig / Libro Leporello
common.buy 8.09 €
Damned If I Do, Dead If I Don't Hannah Bonde / Libro In brossura
common.buy 18.99 €
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Libro In brossura
common.buy 20.59 €
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Libro In brossura
common.buy 19.99 €
Unbounded Chronicles David Schneider / Libro In brossura
common.buy 30.79 €
Animals A-Z Trevor E Coward / Libro In brossura
common.buy 17.39 €

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?