«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

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Hardware and Software: Verification and Testing Valeria Bertacco
Código Libristo: 02152556
Editores Springer International Publishing AG, octubre 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... 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

amore al tempo dei social Karin Anzai Libro Libro
common.buy 9.19 €
August und Elisabeth Macke Anna Luisa Walter / Libro Tapa blanda
common.buy 35.49 €
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Libro binding.
common.buy 25.09 €
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Libro Tapa blanda
common.buy 4.19 €
Wanderer zwischen Musik, Politik und Recht Becker / Libro Tapa dura
common.buy 127.79 €
Gachiakuta. Крутые отбросы. Том 2 / Libro Tapa dura
common.buy 28.79 €
Smradľavý útok Grázlika Gaba Francesca Simon / Libro Tapa blanda
common.buy 6.39 €
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Libro Tapa blanda
common.buy 10.89 €
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Libro Tapa blanda
common.buy 9.59 €
hombre y el zorro Idries Shah / Libro Tapa blanda
common.buy 10.29 €
Eveliina von Waisin etiaiset Anneli Alatalo / Libro Tapa blanda
common.buy 26.69 €
Wupp geht um Martina Temming / Libro Tapa blanda
common.buy 9.99 €
Der Realitätenkellner Werner A. Leeb / Libro Tapa blanda
common.buy 40.49 €
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Libro Tapa blanda
common.buy 52.19 €
Tagbuch einer Reise in Inner-Arabien Julius Euting / Libro Tapa blanda
common.buy 34.49 €

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

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 Valeria Bertacco, Axel Legay
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 366
EAN 9783319030760
ISBN 3319030760
Código Libristo 02152556
Editores Springer International Publishing AG
Peso 593
Dimensiones 155 x 235 x 22

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

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Libro Tapa dura
common.buy 169.09 €
Handbook of Power Management Circuits Haruo Kobayashi / Libro Tapa dura
common.buy 281.69 €
Biotechnology and the Challenge of Property NWABUEZE / Libro Tapa blanda
common.buy 81.39 €
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Libro Tapa blanda
common.buy 22.99 €
Rust + Moth: Winter 2017 Rust and Moth / Libro Tapa blanda
common.buy 7.99 €
Advances in Power Quality Jeremy Giamatti / Libro Tapa dura
common.buy 83.39 €
Get Over Yourself! Jennifer Beckham / Libro Tapa blanda
common.buy 18.29 €
Protein Translation Eric Jan / Libro Tapa blanda
common.buy 65.89 €
Methods and Data in English Historical Dialectology Marina Dossena / Libro Tapa blanda
common.buy 145.49 €
Nginx Essentials Valery Kholodkov / Libro Tapa blanda
common.buy 41.69 €
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Libro Tapa blanda
common.buy 58.09 €
Heartwood James Lee Burke / Libro Tapa blanda
common.buy 12.79 €
Solar Cells and Energy Materials Takeo Oku / Libro Tapa dura
common.buy 108.59 €
Physical and Inorganic Chemistry J. Barthel / Libro Tapa blanda
common.buy 112.79 €
History and Biography T. C. W. BlanningDavid Cannadine / Libro Tapa dura
common.buy 131.79 €
Cooking With Healing Mushrooms Stepfanie Romine / Libro electrónico Adobe ePub DRM
common.buy 14.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?