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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Swarat Chaudhuri
Codice Libristo: 12580327
Casa editrice Springer International Publishing AG, luglio 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Libro In brossura
common.buy 78.39 €
Rondalles valencianes JOSEP FRANCO / Libro In brossura
common.buy 27.69 €
Mediation Im Strafrecht Stefanie Mühlfeld / Libro In brossura
common.buy 88.89 €
Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Libro Libro
common.buy 9.79 €
Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Libro In brossura
common.buy 8.19 €
¡Adelante! JEAN-LOUIS BARREAU / Libro In brossura
common.buy 24.39 €
ultimo dei giusti André Schwarz Bart / Libro In brossura
common.buy 16.89 €
Making und Schule Selina Ingold / Libro In brossura
common.buy 23.29 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Libro In brossura
common.buy 20.59 €

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.?

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 Computer Aided Verification
Autore Swarat Chaudhuri, Azadeh Farzan
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2016
Numero di pagine 521
EAN 9783319415390
ISBN 3319415395
Codice Libristo 12580327
Casa editrice Springer International Publishing AG
Peso 8073
Dimensioni 155 x 235 x 32

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti
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

Cord Blood Transplantations Mitchell Horwitz / Libro Rigido
common.buy 126.09 €
I migliori Nuovi
Hunger and Thirst Claire Fuller / Libro In brossura
common.buy 16.09 €
Nuclear Energy Nicholas Tsoulfanidis / Libro Rigido
common.buy 234.39 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Libro In brossura
common.buy 27.89 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Libro In brossura
common.buy 13.49 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Libro In brossura
common.buy 18.19 €
New Jersey Joseph G. Bilby / Libro Rigido
common.buy 32.59 €
Blaine's Playful Namaste Kerry Alison Wekelo / Libro Rigido
common.buy 16.49 €
Easy Cooking for Special Diets: How to Cook for Weight Loss/Blood Sugar Control, Food Allergy, Heart Healthy, Diabetic, and Just Healthy Diets Even If Nicolette M. Dumke / Libro In brossura
common.buy 25.99 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Libro Rigido
common.buy 14.99 €

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