«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 II

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Daniel Kroening
Código Libristo: 09372112
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

Redeskriptionen horizontaler Geographien Olaf Kuhne / Libro electrónico Adobe ePub DRM
common.buy 112.79 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Libro Tapa blanda
common.buy 28.79 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Libro Tapa blanda
common.buy 45.09 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Libro Tapa blanda
common.buy 57.09 €
Medizinischer Grundwortschatz Martin Trebsdorf / Libro Tapa blanda
common.buy 19.29 €

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 469
EAN 9783319216676
ISBN 3319216678
Código Libristo 09372112
Editores Springer International Publishing AG
Peso 7314
Dimensiones 155 x 235 x 25

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

Popular
Love and Other Words Christina Lauren / Libro Tapa blanda
common.buy 14.69 €
About Face Jason White / Libro electrónico Adobe ePub DRM
common.buy 2.19 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Libro Tapa blanda
common.buy 56.59 €
How To Earn Money Without Leaving The House Daniel P Richardson / Libro Tapa blanda
common.buy 11.59 €
Sex and passion Piero Palono / Libro Tapa blanda
common.buy 8.89 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Libro Tapa blanda
common.buy 11.69 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Libro Tapa dura
common.buy 20.49 €
Rita and Rascal Autum Agusta / Libro Tapa dura
common.buy 24.39 €
The Haunting Season for Love and Witches Isabelle Larken / Libro Tapa blanda
common.buy 20.59 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Libro Tapa dura
common.buy 42.29 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Libro Tapa blanda
common.buy 49.79 €
Design Systems for VLSI Circuits Giovanni De Micheli / Libro Tapa blanda
common.buy 225.39 €
Contraception Research for Today and the Nineties G.P. Talwar / Libro Tapa dura
common.buy 96.09 €

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