«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: 24027841
Editores Springer Nature Switzerland AG, julio 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... 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

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Libro Tapa dura
common.buy 10.29 €
LP! JPEGMAFIA Audio Vinilo de audio
common.buy 52.69 €
Bleigewitter über Cinecitt? Christian Keßler / Libro Tapa dura
common.buy 33.69 €
Hory zpívají Phan Que Mai Nguyen / Libro Tapa dura
common.buy 16.39 €
KLIMATOLOGIE Émile H. Klouyo / Libro Tapa blanda
common.buy 43.29 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Libro Tapa blanda
common.buy 14.19 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Libro Tapa blanda
common.buy 12.09 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Libro Tapa blanda
common.buy 60.89 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Libro Tapa blanda
common.buy 24.89 €
TEKIS GOMEZ / Libro Tapa dura
common.buy 20.49 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Libro Tapa blanda
common.buy 15.89 €
Morče Nataša Velenská / Libro Tapa blanda
common.buy 6.99 €
Weg Ins Heim Trendb Uro / Libro Tapa blanda
common.buy 41.59 €
Christoph Columbus Jakob Wassermann / Libro Tapa blanda
common.buy 19.79 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Libro Tapa blanda
common.buy 11.59 €
Secme Dünya Öyküleri Jorge Luis Borges / Libro Tapa blanda
common.buy 17.69 €

This 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 toget

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 673
EAN 9783030255398
ISBN 3030255395
Código Libristo 24027841
Editores Springer Nature Switzerland AG
Peso 1050
Dimensiones 155 x 235 x 38

Categorías

Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
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 > Modelos y simulaciones por ordenador
Computación e informática > Ciencias de la computación > Inteligencia artificial
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

Information Security Sokratis Katsikas / Libro Tapa blanda
common.buy 84.69 €
Katherine Mansfield: New Directions GASSTON AIMEE / Libro Tapa dura
common.buy 162.79 €
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Libro Tapa blanda
common.buy 32.79 €
MEE Questions Book 2 Celebration Bar Review LLC / Libro Tapa blanda
common.buy 95.99 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Libro Tapa dura
common.buy 56.59 €
Do You Dream of Terra-Two? Temi Oh / Libro Tapa blanda
common.buy 14.29 €
Feasibility Study Majura Jackson G. Majura / Libro Tapa blanda
common.buy 38.19 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Libro Tapa blanda
common.buy 225.39 €
Group FEIGEL LARA / Libro Tapa blanda
common.buy 12.69 €
3 little sisters Radha Bamania / Libro Tapa blanda
common.buy 10.69 €
Popular
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Libro Tapa blanda
common.buy 16.59 €
Works of Ophra Behn Montague Summers / Libro Tapa dura
common.buy 63.89 €
OLD AMERICAN SONGS II CHANT AARON COPLAND / Artículos impresos Partituras
common.buy 5.19 €
The Wager and Other Stories Greg Sushinsky / Libro Tapa blanda
common.buy 7.89 €
Popular
Sex Differences in Intelligence Richard Lynn / Libro Tapa blanda
common.buy 15.59 €
Nuevo
Privileged Brotherhoods Adam Howard / Libro Tapa dura
common.buy 69.59 €
My Life Scott Ludwig / Libro Tapa blanda
common.buy 23.49 €
Wolfsmund Kuji Mitsuhisa / Libro Tapa blanda
common.buy 11.19 €
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Libro Tapa dura
common.buy 201.89 €
Cast of Shadows Ronnie Maasz / Libro Tapa dura
common.buy 112.89 €
Omaha Beach Adrian R. Lewis / Libro Tapa blanda
common.buy 47.19 €
Adolescent and the Cartel H G Nowland / Libro Tapa blanda
common.buy 13.49 €
BioShock: Rapture John Shirley / Libro Tapa blanda
common.buy 17.39 €
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Libro Tapa blanda
common.buy 15.79 €

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