«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

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Swarat Chaudhuri
Código Libristo: 12580327
Editores Springer International Publishing AG, julio 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Libro Libro
common.buy 9.49 €
Романовы. Путь святости и Голгофы Д.А. Остроумов / Libro Tapa dura
common.buy 44.89 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Libro Tapa blanda
common.buy 20.99 €
Making und Schule Selina Ingold / Libro Tapa blanda
common.buy 24.59 €
ultimo dei giusti André Schwarz Bart / Libro Tapa blanda
common.buy 17.19 €
Métodos de numeración y remuneración genealógica Fernández Vilches / Libro Tapa blanda
common.buy 16.59 €
¡Adelante! JEAN-LOUIS BARREAU / Libro Tapa blanda
common.buy 25.00 €
Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Libro Tapa blanda
common.buy 7.99 €
Rondalles valencianes JOSEP FRANCO / Libro Tapa blanda
common.buy 28.09 €
Zrozumieć Japonię Dorota Ugorowska / Libro Tapa blanda
common.buy 11.89 €
Mediation Im Strafrecht Stefanie Mühlfeld / Libro Tapa blanda
common.buy 93.29 €
Por los mares del Sur con Jack London MARTIN JOHNSON / Libro Tapa blanda
common.buy 23.39 €
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Libro Tapa blanda
common.buy 76.29 €

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.?

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 Swarat Chaudhuri, Azadeh Farzan
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2016
Número de páginas 521
EAN 9783319415390
ISBN 3319415395
Código Libristo 12580327
Editores Springer International Publishing AG
Peso 8073
Dimensiones 155 x 235 x 32

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
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

Cord Blood Transplantations Mitchell Horwitz / Libro Tapa dura
common.buy 132.69 €
Freedom of Speech Elizabeth Powers / Libro Tapa dura
common.buy 141.39 €
Popular Nuevo
Hunger and Thirst Claire Fuller / Libro Tapa blanda
common.buy 17.19 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Libro Tapa blanda
common.buy 27.89 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Libro Tapa blanda
common.buy 13.49 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Libro Tapa blanda
common.buy 18.19 €
New Jersey Joseph G. Bilby / Libro Tapa dura
common.buy 34.39 €
Blaine's Playful Namaste Kerry Alison Wekelo / Libro Tapa dura
common.buy 16.49 €
Nuclear Energy Nicholas Tsoulfanidis / Libro Tapa dura
common.buy 238.69 €
Easy Cooking for Special Diets: How to Cook for Weight Loss/Blood Sugar Control, Food Allergy, Heart Healthy, Diabetic, and Just Healthy Diets Even If Nicolette M. Dumke / Libro Tapa blanda
common.buy 25.99 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Libro Tapa dura
common.buy 14.99 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?