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

Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Hardware and Software: Verification and Testing Roderick Bloem
Código Libristo: 15194770
Editores Springer International Publishing AG, noviembre 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... 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

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Libro Tapa blanda
common.buy 23.69 €
Próximamente
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Libro Tapa blanda
common.buy 27.69 €
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Libro Tapa blanda
common.buy 15.49 €
Mustangs Bousquet / Libro Tapa blanda
common.buy 17.19 €
Algebre N. Bourbaki / Libro Tapa blanda
common.buy 60.39 €
Pilates Anatomie Rael Isacowitz / Libro Tapa blanda
common.buy 25.79 €
Gottfried Achenwall, Ius naturae in usum auditorum Alexander Aichele / Libro Tapa dura
common.buy 280.19 €
Un bateau pour l'enfer Gilbert Sinoué / Libro Tapa blanda
common.buy 12.59 €
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Libro Tapa blanda
common.buy 23.09 €
Comunicación oral y escrita en la empresa Ricardo Herrero Domingo / Libro Tapa blanda
common.buy 14.09 €
Passiflora Bettina Ulmer / Libro Tapa blanda
common.buy 14.99 €
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Libro Tapa blanda
common.buy 39.39 €
Els Nostres Disla Sanz / Libro Tapa blanda
common.buy 15.59 €
Ab durch die Hecke, 1 DVD Tim Johnson / Video DVD
common.buy 13.29 €
Lektury - liceum i technikum -epika Sylwia Oszczyk / Libro Tapa blanda
common.buy 17.59 €
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Libro Tapa blanda
common.buy 16.79 €
Beitrage Zur Feineren Anatomie Der Medulla Oblongata Und Der Brucke (1894) August Cramer / Libro Tapa blanda
common.buy 22.99 €
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Libro Tapa blanda
common.buy 28.19 €
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Libro Tapa blanda
common.buy 46.69 €
Friedrich Schiller Peter-André Alt / Libro Tapa blanda
common.buy 10.49 €
Echo Terry Moore / Libro Tapa blanda
common.buy 17.89 €
Chronique de la régence et du r?gne de Louis 15 (1718-1763); ou, Journal de Barbier, avocat au Parlement de Paris. 1. éd. compl?te, conforme au manusc Edmond Jean Francois Barbier / Libro Tapa dura
common.buy 41.59 €
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Libro Tapa blanda
common.buy 14.19 €

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

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 Hardware and Software: Verification and Testing
Autor Roderick Bloem, Eli Arbel
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2016
Número de páginas 211
EAN 9783319490519
ISBN 3319490516
Código Libristo 15194770
Editores Springer International Publishing AG
Peso 3518
Dimensiones 155 x 235 x 14

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
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 > 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 > Ciencias de la computación > Inteligencia artificial
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

Functionalization of CVD Graphene via electro-grafting for gas sensor Ghufran ur Rehman / Libro Tapa blanda
common.buy 49.19 €
Only the People Can Save the People Donald V. Kingsbury / Libro Tapa blanda
common.buy 41.89 €
The Last Town on Earth Thomas Mullen / Libro Tapa blanda
common.buy 14.69 €
Student Solutions Manual to accompany Functions Modeling Change Eric Connally / Libro Tapa blanda
common.buy 93.69 €
The New Healthy Bread in Five Minutes a Day: Revised and Updated with New Recipes Jeff Hertzberg / Libro Tapa dura
common.buy 31.49 €
Thinline Bible-OE-Personal Size Kjver Whitaker House / Libro Libro
common.buy 44.09 €
Nola the Nurse(R) & Friends Explore the Holi Fest Dr. Scharmaine L. Baker / Libro Tapa dura
common.buy 17.19 €
Redefining Capitalism in Global Economic Development Kui-Wai Li / Libro Tapa blanda
common.buy 58.49 €
Greyhound Nation Edmund Russell / Libro Tapa blanda
common.buy 36.39 €
Narcocultura: A Threat to Mexican National Security Naval Postgraduate School / Libro Tapa blanda
common.buy 15.39 €
Let's Pretend Chefs Kitchen Roger Priddy / Libro Tapa dura
common.buy 17.29 €
Tale of Two Cities Charles Dickens / Libro Tapa blanda
common.buy 9.39 €
The Extraordinary Makeover: Hidden Expressions Of The Every Day Woman Lorie P Woodruff / Libro Tapa blanda
common.buy 16.59 €
Miscreants The Hell's Gate Series Book 3 Jennifer Pierce-Gaeta / Libro Tapa blanda
common.buy 10.69 €
Staying Human Neil Astley / Libro Tapa blanda
common.buy 15.09 €
Investing for Beginners: Escape The 9-5 Rat Race Through Investing Sam Sutton / Libro Tapa blanda
common.buy 13.89 €
Evelina's Garden (1899) Mary Eleanor Wilkins / Libro Tapa dura
common.buy 38.69 €
The Prophets Robert Jones Jr. / Libro Tapa blanda
common.buy 19.79 €
Wild Guide Andalucia EDWINA PITCHER / Libro Tapa blanda
common.buy 21.99 €
The Best American Poetry 2022 Matthew Zapruder / Libro Tapa blanda
common.buy 16.59 €
First Steps in SDL Game Development Frahaan Hussain / Libro Tapa blanda
common.buy 28.89 €
BTS ZAMBELLO FILIPPO / Libro Tapa dura
common.buy 15.89 €
Nuevo
Henry VI, Part II William Shakespeare / Libro Tapa blanda
common.buy 9.39 €
Dictionary Of The Choctaw Language Cyrus Byington / Libro Tapa blanda
common.buy 44.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?