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

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Automated Technology for Verification and Analysis Shuvendu K. Lahiri
Codice Libristo: 20124323
Casa editrice Springer Nature Switzerland AG, settembre 2018
This book constitutes the refereed proceedings of the 24th International Symposium on Automated Tech... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Vkládačka Moje první auta / Gioco/giocattolo Gioco
common.buy 6.69 €
Atis ja Camilla Gustav Philip Creutz / Libro Rigido
common.buy 28.80 €
Husserl Natalie Depraz / Libro Libro
common.buy 24.09 €
SAPA INCA Enjame-Brunazzi / Libro In brossura
common.buy 21.59 €
Byt - Román ve dvou Jana Šrámková / Libro Rigido
common.buy 16.29 €

This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

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 Automated Technology for Verification and Analysis
Autore Shuvendu K. Lahiri, Chao Wang
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2018
Numero di pagine 560
EAN 9783030010898
Codice Libristo 20124323
Casa editrice Springer Nature Switzerland AG
Peso 872
Dimensioni 155 x 235 x 33

Categorie

Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Grafica e modellazione 3D
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 > Sicurezza informatica
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

I migliori
Algorithms to Live By Brian Christian / Libro In brossura
common.buy 10.69 €
The Nuxt.js Developer's Handbook Austin Sanders / Libro In brossura
common.buy 33.29 €
Intervals Marianne Brooker / Libro In brossura
common.buy 13.39 €
Ctenophores of the Atlantic Coast of North America Alfred Goldsborough Mayer / Libro In brossura
common.buy 17.79 €
World War Ii Remembrance Diane Ledgerwood / Libro In brossura
common.buy 29.89 €
Women Don't Owe You Pretty Florence Given / Libro elettronico Adobe ePub DRM
common.buy 4.09 €
Guiding School Improvement with Action Research Richard Sagor / Libro Rigido
common.buy 33.30 €
War for Peace Arthur Deerin Call / Libro Rigido
common.buy 25.30 €
To God Be the Glory Daily Devotional Garry Glaub / Libro In brossura
common.buy 28.00 €
Radical Islam and the Battle for the Americas Michelangelo Buonarroti / Libro In brossura
common.buy 26.29 €
Illustrated Alphabetical Register of Veterinary Instruments Anatomical Models, Books and C. John Reynders / Libro In brossura
common.buy 13.80 €
Florentine Codex, Introductory Volume Charles E. Dibble / Libro In brossura
common.buy 34.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?