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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
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

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Der X-Klub (Eine Krinar Erzählung) Anna Zaires / Libro In brossura
common.buy 8.89 €
Onkel Alwin und das Sams Paul Maar / Libro Rigido
common.buy 12.49 €
Redeskriptionen horizontaler Geographien Olaf Kuhne / Libro elettronico Adobe ePub DRM
common.buy 112.49 €
Medizinischer Grundwortschatz Martin Trebsdorf / Libro In brossura
common.buy 18.99 €
Stadt der Lebenden / Libro In brossura
common.buy 15.09 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Libro In brossura
common.buy 28.79 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Libro In brossura
common.buy 54.09 €
EL GUERRA CIVIL EN CÓRDOBA PATRICIO HIDALGO LUQUE / Libro In brossura
common.buy 26.09 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Libro In brossura
common.buy 42.89 €
Découvrez le SURNATUREL en VOUS!: (Psaumes Quotidiens Puissant Pour Adolescents) LeTicia Lee / Libro In brossura
common.buy 20.09 €
El pacto de Reygnark Víctor López López / Libro In brossura
common.buy 16.79 €

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

Contraception Research for Today and the Nineties G.P. Talwar / Libro Rigido
common.buy 94.29 €
Ballet Shoes for Anna Noel Streatfeild / Libro In brossura
common.buy 9.19 €
The Haunting Season for Love and Witches Isabelle Larken / Libro In brossura
common.buy 20.59 €
About Face Jason White / Libro elettronico Adobe ePub DRM
common.buy 2.19 €
Global Logistics and Supply Chain Management Mason Harris / Libro Rigido
common.buy 130.29 €
Ask Me Smarter! Language Arts, Social Studies, Science, and Math - Grade 3 Donna M. Roszak / Libro In brossura
common.buy 12.69 €
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 €
I migliori
Love and Other Words Christina Lauren / Libro In brossura
common.buy 14.29 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Libro Rigido
common.buy 20.49 €
Short History of Gardens Gordon Campbell / Libro Rigido
common.buy 18.89 €
Early Childhood Education Radhika Viruru / Libro Rigido
common.buy 43.09 €
Engineering and Design US Army Corps of Engineers / Libro In brossura
common.buy 39.49 €
Rita and Rascal Autum Agusta / Libro Rigido
common.buy 24.39 €
Does God Protect the Innocent? Marcel Crespil / Libro Rigido
common.buy 34.69 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Libro Rigido
common.buy 41.19 €
Television in the Antenna Age - A Concise History David Marc / Libro Rigido
common.buy 144.39 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Libro In brossura
common.buy 49.79 €
Design Systems for VLSI Circuits Giovanni De Micheli / Libro In brossura
common.buy 214.29 €

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?