«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Computer Aided Verification

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

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Daniel Kroening
Código Libristo: 09372120
Editores Springer International Publishing AG, julio 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Económico
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Libro Tapa blanda
common.buy 20.79 €
Vánoční koledy Vladimíra Vopičková / Libro Tapa dura
common.buy 3.89 €
Klube & THE BATES Christof Dörr / Libro Tapa blanda
common.buy 19.89 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Libro Tapa dura
common.buy 12.89 €
SICILIA PHILIPPE GLOAGUEN / Libro Tapa dura
common.buy 25.29 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Libro Tapa blanda
common.buy 31.09 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Libro Tapa blanda
common.buy 35.49 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Juego/Juguete Juego
common.buy 32.29 €
Sagen aus Franken Susanne Rebscher / Libro Tapa dura
common.buy 15.99 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Libro Tapa blanda
common.buy 22.79 €
Diario de un viejo terminal Zamir Bechara / Libro Tapa blanda
common.buy 22.59 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Libro Tapa blanda
common.buy 32.49 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Libro Tapa blanda
common.buy 51.09 €
Reise durch Barcelona Andreas Drouve / Libro Tapa dura
common.buy 19.89 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Libro Tapa blanda
common.buy 10.99 €
Clemens Brentano Detlev Lüders / Libro Tapa dura
common.buy 130.19 €
L.A. Nudes Confidential Sean McCall / Libro Tapa dura
common.buy 31.19 €
Juwikinger - Erster Teil Olav Duun / Libro Tapa dura
common.buy 34.49 €
Stunden-Buch Rainer Maria Rilke / Libro Tapa blanda
common.buy 9.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.§

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Computer Aided Verification
Autor Daniel Kroening, Corina S. Pasareanu
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 677
EAN 9783319216898
ISBN 3319216899
Código Libristo 09372120
Editores Springer International Publishing AG
Peso 1048
Dimensiones 155 x 235 x 40

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Computación e informática > Redes y comunicaciones informáticas
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

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

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo