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

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Daniel Kroening
Codice Libristo: 09372112
Casa editrice Springer International Publishing AG, luglio 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Redeskriptionen horizontaler Geographien Olaf Kuhne / Libro elettronico Adobe ePub DRM
common.buy 110.69 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Libro In brossura
common.buy 28.79 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Libro In brossura
common.buy 42.89 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Libro In brossura
common.buy 54.09 €
Medizinischer Grundwortschatz Martin Trebsdorf / Libro In brossura
common.buy 18.99 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 469
EAN 9783319216676
ISBN 3319216678
Codice Libristo 09372112
Casa editrice Springer International Publishing AG
Peso 7314
Dimensioni 155 x 235 x 25

Categorie

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

I migliori
Love and Other Words Christina Lauren / Libro In brossura
common.buy 13.79 €
About Face Jason White / Libro elettronico Adobe ePub DRM
common.buy 2.19 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Libro In brossura
common.buy 53.79 €
How To Earn Money Without Leaving The House Daniel P Richardson / Libro In brossura
common.buy 11.59 €
Sex and passion Piero Palono / Libro In brossura
common.buy 8.89 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Libro In brossura
common.buy 11.39 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Libro Rigido
common.buy 20.49 €
Rita and Rascal Autum Agusta / Libro Rigido
common.buy 24.39 €
The Haunting Season for Love and Witches Isabelle Larken / Libro In brossura
common.buy 20.59 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Libro Rigido
common.buy 41.59 €
Design Systems for VLSI Circuits Giovanni De Micheli / Libro In brossura
common.buy 214.29 €
Contraception Research for Today and the Nineties G.P. Talwar / Libro Rigido
common.buy 94.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