«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 Rupak Majumdar
Código Libristo: 16495654
Editores Springer International Publishing AG, julio 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... 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

Pilzen begegnen Hans Manhart / Libro Tapa blanda
common.buy 24.39 €
SILAS MARNER Eliot / Libro Tapa blanda
common.buy 22.79 €
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Libro Tapa blanda
common.buy 43.29 €
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Libro Tapa blanda
common.buy 11.69 €
Conexiones FERNANDEZ FRAGA / Libro Tapa blanda
common.buy 25.79 €
Uppgiften - erotiska noveller Cupido / Audiolibro MP3
common.buy 3.39 €
Popular
Puzzle Hello Kitty 1000 dílků / Juego/Juguete Rompecabezas
common.buy 7.79 €
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Libro Tapa blanda
common.buy 39.39 €
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Libro Tapa blanda
common.buy 16.99 €
Praxisphasen in der Lehrerbildung Axel Knüppel / Libro Tapa blanda
common.buy 33.39 €
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Audio CD de audio
common.buy 20.59 €
Organisation von Systemen Bernhard Waszkewitz / Libro Tapa blanda
common.buy 47.19 €
Geschichte der Freundschaft Michael Roes / Libro Tapa dura
common.buy 25.09 €
Amanda Und Eduard Sophie Mereau / Libro Tapa blanda
common.buy 12.89 €
Geschichte eines Vampirs Thomas Neumann / Libro Tapa blanda
common.buy 9.99 €
Soldaten Sönke Neitzel / Libro Tapa blanda
common.buy 21.89 €

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

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 Rupak Majumdar, Viktor Kuncak
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2017
Número de páginas 623
EAN 9783319633893
ISBN 3319633899
Código Libristo 16495654
Editores Springer International Publishing AG
Peso 9591
Dimensiones 155 x 235 x 36

Categorías

Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Programación informática/desarrollo de software
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

Development As Freedom Amartya Kumar Sen / Libro Tapa blanda
common.buy 16.59 €
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Libro Tapa blanda
common.buy 6.49 €
How to Make Historic American Costumes Mary Evans / Libro Tapa dura
common.buy 41.59 €
Popular
Shikimori's Not Just a Cutie 12 V12 / Libro Tapa blanda
common.buy 11.19 €
Popular
The Land of Stories Set Chris Colfer / Libro Tapa blanda
common.buy 49.79 €
Statistics without Tears Derek Rowntree / Libro Tapa blanda
common.buy 12.79 €
Great Whiskies DK / Libro Tapa dura
common.buy 17.29 €
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Libro Tapa blanda
common.buy 16.39 €
Word Study in the Inclusive Secondary Classroom Melinda Leko / Libro Tapa dura
common.buy 81.39 €
Price of Love Vicki Hopkins / Libro Tapa blanda
common.buy 15.19 €
Carbon Footprint Analysis Defne Apul / Libro Tapa dura
common.buy 178.29 €
Nick's First Holiday Celebration Linda Sicks / Libro Tapa dura
common.buy 18.89 €
RNA Biology - An Introduction Gunter Meister / Libro Tapa blanda
common.buy 76.39 €
Confirmation Wars Benjamin Wittes / Libro Tapa blanda
common.buy 21.89 €
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Libro Tapa blanda
common.buy 56.59 €
Holiday Heaven Cupido / Audiolibro MP3
common.buy 4.19 €
Microstructure Atlas of P22 Steel Rajat K. Roy / Libro Tapa blanda
common.buy 157.89 €
Dr. Cocktail Alex Ott / Libro Tapa dura
common.buy 15.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