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 I

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Daniel Kroening
Codice Libristo: 09372120
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

Economico
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Libro In brossura
common.buy 20.79 €
Vánoční koledy Vladimíra Vopičková / Libro Rigido
common.buy 3.79 €
Klube & THE BATES Christof Dörr / Libro In brossura
common.buy 18.79 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Libro Rigido
common.buy 13.19 €
SICILIA PHILIPPE GLOAGUEN / Libro Rigido
common.buy 26.09 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Libro In brossura
common.buy 31.09 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Libro In brossura
common.buy 33.69 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Gioco/giocattolo Gioco
common.buy 31.69 €
Sagen aus Franken Susanne Rebscher / Libro Rigido
common.buy 15.59 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Libro In brossura
common.buy 21.49 €
Diario de un viejo terminal Zamir Bechara / Libro In brossura
common.buy 23.19 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Libro In brossura
common.buy 33.29 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Libro In brossura
common.buy 64.89 €
Reise durch Barcelona Andreas Drouve / Libro Rigido
common.buy 18.79 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Libro In brossura
common.buy 10.49 €
Clemens Brentano Detlev Lüders / Libro Rigido
common.buy 123.99 €
L.A. Nudes Confidential Sean McCall / Libro Rigido
common.buy 31.19 €
Juwikinger - Erster Teil Olav Duun / Libro Rigido
common.buy 32.69 €
Stunden-Buch Rainer Maria Rilke / Libro In brossura
common.buy 9.49 €

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 677
EAN 9783319216898
ISBN 3319216899
Codice Libristo 09372120
Casa editrice Springer International Publishing AG
Peso 1048
Dimensioni 155 x 235 x 40

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Libro In brossura
common.buy 107.29 €
In preparazione
Introduction to International Relations Richard Devetak / Libro In brossura
common.buy 74.09 €
Spice Secret Billie Holladay Skelley / Libro In brossura
common.buy 6.59 €
Amber Waves Sharon Schenbeck / Libro In brossura
common.buy 10.69 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Libro In brossura
common.buy 20.29 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Libro Rigido
common.buy 41.59 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Libro Rigido
common.buy 35.79 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digitale Digitale online
common.buy 56.99 €
Revival: Nietzsche in Context (2001) Robin Small / Libro In brossura
common.buy 65.89 €
I migliori
Lean Change Management Jason Little / Libro In brossura
common.buy 28.49 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Libro Rigido
common.buy 35.79 €
Because He Loves Me Dana M Watson / Libro In brossura
common.buy 20.09 €
I migliori
Spanish English Illustrated Dictionary DK / Libro In brossura
common.buy 22.39 €
Intimate: An American Family Photo Album Paisley Rekdal / Libro Rigido
common.buy 29.59 €
Dear Mr. Nelson Kenneth E Nelson / Libro Rigido
common.buy 30.89 €
In preparazione
NATIONALISM Richard Allen Sauers / Libro Rigido
common.buy 52.69 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Libro Rigido
common.buy 145.19 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Libro In brossura
common.buy 106.59 €
Chicano Frankenstein Daniel A. Olivas / Audiolibro MP3
common.buy 20.89 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Libro In brossura
common.buy 160.89 €
Chemical Genomics Edward D. Zanders / Libro In brossura
common.buy 112.19 €

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