Características

  • Género del libro Ciencias económicas

Descripción

Yaxa Tienda Oficial

Somos MercadoLider Platinum, visita nuestra Tienda Oficial accediendo a:
https://tienda.mercadolibre.com.co/Yaxa
Visita también nuestra sección de Regalos para Navidad:
https://listado.mercadolibre.com.co/juegos-juguetes/_eshop_yaxa

• TIEMPOS DE ENTREGA DE 6 A 10 DÍAS HÁBILES A CIUDADES PRINCIPALES •

• Envío Internacional •

----------------------------------------------------------------------------------------
• TÍTULO •
Pruebas basadas en modelos de sistemas reactivos: conferencias avanzadas (notas de conferencia en informática)

• TITULO ORIGINAL •
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

• DESCRIPCIÓN •
La prueba es la principal técnica de verificación de hardware y software
utilizada actualmente por la industria. Por lo general, es ad hoc, propenso a
errores y muy costoso. En los últimos años, sin embargo, se han realizado
muchos intentos para desarrollar métodos de prueba formales más sofisticados.
Este libro coherente proporciona una evaluación en profundidad de este campo
emergente, centrándose en las pruebas formales de los sistemas reactivos. Este
libro se basa en un seminario celebrado en el castillo de Dagstuhl, Alemania,
en enero de 2004. Presenta 19 conferencias cuidadosamente revisadas y
revisadas dadas en el seminario de una manera equilibrada, asegurando una
cobertura complementaria competente de todos los aspectos relevantes. Un
apéndice proporciona un glosario para pruebas basadas en modelos y conceptos
básicos sobre máquinas de estado finito y en sistemas de transición
etiquetados. Las conferencias se presentan en secciones temáticas sobre
pruebas de máquinas de estados finitos, pruebas de sistemas de transición
etiquetados, generación de casos de prueba basados ¿¿en modelos, herramientas
y estudios de casos, arquitecturas de notación y ejecución de pruebas
estandarizadas y más allá de las pruebas.




----------------------------------------------------------------------------------------

• TIEMPOS DE ENTREGA DE 6 A 10 DÍAS HÁBILES A CIUDADES PRINCIPALES •

Vivirás la mejor experiencia de compra con Yaxa Tienda Oficial

• Garantía de Fábrica 30 días •

---------------------------------------------------------------------------------------

Preguntas y respuestas

¿Qué quieres saber?

Costo y tiempo de envío Medios de pago

¿Tienes dudas?

Estos atajos te ayudarán a encontrar lo que buscas.

Disponible 10 días después de tu compra

O pregúntale al vendedor

Hay stock disponible

¡Puedes comprarlo ya! El vendedor lo tendrá disponible 10 días después de que compres.

Nadie hizo preguntas todavía. ¡Sé el primero!

Nuevo

Pruebas Basadas En Modelos De Sistemas Reactivos:

$ 654.000

Disponible 10 días después de tu compra

Sumas 327 Mercado Puntos.

Información sobre el vendedor

Ubicación

Engativá, Bogotá D.C.

  1. Rojo
  2. Naranja
  3. Amarillo
  4. Verde claro
  5. Verde
1117 ventas en los últimos 4 meses
Brinda buena atención
Entrega sus productos con demora
Ver más datos de este vendedor

Envío gratis con Mercado Envíos

Es el servicio de Mercado Libre que te permite recibir tus productos de forma rápida y segura.

Conocer más sobre formas de envío

Publicidad

Publicación #477570751

Denunciar