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 •
Verificación asistida por computadora: 2a Conferencia Internacional, CAV '90, New Brunswick, NJ, EE. UU., Del 18 al 21 de junio de 1990. Actas (Apuntes de clase en Informática)

• TITULO ORIGINAL •
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science)

• DESCRIPCIÓN •
Este volumen contiene las actas del segundo taller sobre verificación asistida
por computadora, celebrado en DIMACS, Rutgers University, del 18 al 21 de
junio de 1990. Presenta resultados teóricos que conducen a métodos de
verificación nuevos o más poderosos. Entre ellos se encuentran los avances en
el uso de diagramas de decisión binarios, el tiempo denso, las reducciones
basadas en representaciones de orden parciales y la verificación de pruebas en
la verificación del controlador. La motivación para realizar un taller sobre
verificación asistida por computadora fue reunir el trabajo sobre algoritmos o
metodologías efectivos para la verificación formal, según se distinga, por
ejemplo, de los atributos de las lógicas o los idiomas formales. El
considerable interés generado por el primer taller, realizado en Grenoble, en
junio de 1989 (ver LNCS 407), motivó esta segunda reunión. El enfoque general
de este volumen es el problema de hacer que la verificación formal sea
factible para varios modelos de cómputo. El énfasis específico está en los
modelos asociados con programas distribuidos, protocolos y circuitos
digitales. La prueba general de la viabilidad del algoritmo es integrarla en
una herramienta de verificación y ejercerla en ejemplos realistas: el taller
incluyó sesiones para la demostración de nuevas herramientas de verificación.




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

• 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 Garantía

¿Tienes dudas?

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

Disponible 12 días después de tu compra

O pregúntale al vendedor

Hay stock disponible

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

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

Nuevo

Verificación Asistida Por Computadora: 2da Conferencia

$ 652.000

Disponible 12 días después de tu compra

Compra Protegida, recibe el producto que esperabas o te devolvemos tu dinero.

Sumas 326 Mercado Puntos.

Información sobre el vendedor

Ubicación

Engativá, Bogotá D.C.

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

Compra Protegida con Mercado Pago

Recibe el producto que esperabas o te devolvemos tu dinero

Conocer más sobre garantía

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

Denunciar