«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: 16495653
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

Hasta 30 días para devoluciones

Clientes que también han comprado

La vie rêvée du Post-partum Caroline Michel Libro Tapa blanda
common.buy 25.29 €
A VERDADE DAS SUAS CARICIAS WILLIAMS / Libro Libro
common.buy 4.69 €
Lone Survivor (Original Motion Picture Soundtrack) / Audio CD de audio
common.buy 17.69 €
??????????? ?? ???(?????)? ????: ?? - Affe. ???? ?? ???? ColinHann / Libro electrónico Adobe ePub DRM
common.buy 1.09 €
PHDA na pratica Rui Pedro Ribeiro / Libro electrónico Adobe ePub DRM
common.buy 9.29 €
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Libro Tapa blanda
common.buy 6.79 €
Фастфуд на миллион. Made in Russian Регион / Libro Tapa blanda
common.buy 56.29 €
Bibliograf­a de Historia Económica de Cataluña, 1950-70 / Libro Tapa blanda
common.buy 13.89 €
Energie de lumière infinie - Méditations créatives - Livre audio 2 CD Lafrance / Audio CD de audio
common.buy 27.29 €
PASSACAILLE --- GUITARE KLEYNJANS FRANCIS Libro binding.
common.buy 12.99 €
One Piece 95 Antje Bockel / Libro Tapa blanda
common.buy 6.79 €
Comment Jouer Au Golf VARDON-H / Libro Tapa blanda
common.buy 20.99 €
ontologia da alma em Sao Tomas de Aquino Moacir Ferreira Filho / Libro Tapa blanda
common.buy 39.39 €
Leonor Merimee (1757-1836) Gaston Pinet / Libro Tapa blanda
common.buy 17.89 €
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Libro Tapa blanda
common.buy 72.79 €
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Libro Tapa blanda
common.buy 37.29 €

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 601
EAN 9783319633862
ISBN 3319633864
Código Libristo 16495653
Editores Springer International Publishing AG
Peso 9299
Dimensiones 155 x 235 x 35

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

Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark / Libro Tapa blanda
common.buy 8.39 €
Popular
The Hurricane Wars GUANZON THEA / Libro Tapa blanda
common.buy 15.89 €
Walkertown Area Historical Society Walkertown / Libro Tapa blanda
common.buy 20.49 €
Doberman Pinschers Christina Leighton / Libro Tapa dura
common.buy 36.19 €
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Libro Tapa dura
common.buy 31.79 €
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Libro Tapa blanda
common.buy 206.69 €
First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson / Libro Tapa blanda
common.buy 43.49 €
Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Libro Tapa blanda
common.buy 7.99 €
Storm Makers Jennifer E. Smith / Libro Tapa blanda
common.buy 17.89 €
The Unofficial Disney Parks Cookbooks Boxed Set: The Unofficial Disney Parks Cookbook, the Unofficial Disney Parks EPCOT Cookbook, the Unofficial Disn Craft / Libro Tapa dura
common.buy 39.89 €
Rutherford College Catalog; 1924-1925 Rutherford College / Libro Tapa blanda
common.buy 19.09 €
Theory of Superconductivity J. Robert Schrieffer / Libro Tapa dura
common.buy 215.89 €
Hizballah Shimon Shapira / Libro Tapa blanda
common.buy 57.49 €
Universal Human: Creating Authentic Power and the New Consciousness Gary Zukav / Libro Tapa blanda
common.buy 16.59 €
The Story of King Arthur and His Knights Howard Pyle / Libro Tapa blanda
common.buy 14.19 €
What You Don't Know Will Hurt You Denise Skarbek / Libro Tapa dura
common.buy 123.59 €
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Libro Tapa blanda
common.buy 52.99 €
Mobile Genetic Elements Yves Bigot / Libro Tapa dura
common.buy 110.59 €
Blue Room David Hare / Libro Tapa blanda
common.buy 12.79 €
Odyssey Homer / Libro Tapa blanda
common.buy 25.79 €
Methods Of Qualitative Theory In Nonlinear Dynamics (Part Ii) Leonid Shilnikov / Libro Tapa dura
common.buy 189.29 €
Computer Architecture Gerard Blanchet / Libro Tapa dura
common.buy 147.49 €
International Negotiations, Student's Book w. 2 Audio-CDs Mark Powell / Libro Tapa blanda
common.buy 49.29 €
Neural Computing - An Introduction T. Jackson / Libro Tapa blanda
common.buy 95.89 €

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?