«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

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Isil Dillig
Código Libristo: 24027842
Editores Springer Nature Switzerland AG, julio 2019
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st... 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

Automotives Googiedesign / Gestern - Heute - Morgen Steinmetz / Libro Tapa blanda
common.buy 27.49 €
Il Fratellino Di Celeste Marisa Bragato / Libro Tapa blanda
common.buy 9.99 €

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented togeth

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 Isil Dillig, Serdar Tasiran
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2019
Número de páginas 549
EAN 9783030255428
ISBN 3030255425
Código Libristo 24027842
Editores Springer Nature Switzerland AG
Peso 866
Dimensiones 155 x 235 x 31

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 > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Tecnología de la información: cuestiones generales
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

Próximamente
Unauthorised Harry Potter Companion Colin Duriez / Libro Tapa blanda
common.buy 14.99 €
Upper Columbia Basin Network Science Communication Plan, Version 1.0: Natural Resource Report NPS/UCBN/NRR?2009/140 Jannis L Jocius / Libro Tapa blanda
common.buy 15.19 €
Fifty Shades of Crimson Tomsett / Libro Tapa blanda
common.buy 25.79 €
IN The Beginning Was Marriage Owen Chiwawa / Libro Tapa blanda
common.buy 14.49 €

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