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 I

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Swarat Chaudhuri
Codice Libristo: 12580324
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

In preparazione
Frankenstein. Bd.2 Hans Schmid / Libro Rigido
common.buy 42.39 €
Bu Da Gecer Ya Hu Okay Gönensin / Libro In brossura
common.buy 20.99 €
Filosofía de la elocuencia Antonio de Capmany y de Montpalau / Libro Libro
common.buy 48.59 €
El entrenador y el equipo : aprendiendo a ser un buen entrenador de formación Mauro Valenciano Oller / Libro In brossura
common.buy 14.29 €
Fundamentos de sistemas digitales Floyd / Libro In brossura
common.buy 92.39 €
Blut in den Bayous James Lee Burke / Libro In brossura
common.buy 18.79 €

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 541
EAN 9783319415277
ISBN 3319415271
Codice Libristo 12580324
Casa editrice Springer International Publishing AG
Peso 8365
Dimensioni 155 x 235 x 33

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

Brandon Sparks and the Hidden Sun Joshua Fuld / Libro In brossura
common.buy 14.29 €
Lets Us Confidently Welcome Christ Our High Priest Albert Sj Vanhoye / Libro In brossura
common.buy 23.69 €
I migliori
Puppy Pirates #7: Lost at Sea Erin Soderberg / Libro In brossura
common.buy 6.59 €

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