Libro: Especificación De Sistemas: El Lenguaje Y Las Herrami

Descripción

¿Por qué comprar con MS GLOBAL?

Todos nuestros productos son nuevos e importados de Estados Unidos. Tenemos cobertura de entrega en todo el país
¡Tú compra está protegida! Ofrecemos 30 días de garantía por cualquier motivo. Lo anterior es adicional a la garantía de fábrica de cada producto.

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

PRODUCTO: Libro: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

DESCRIPCION:
Este libro es la síntesis de más de 25 años de trabajo de uno de los científicos informáticos más reconocidos del mundo. Una especificación es una descripción escrita de lo que se supone que debe hacer un sistema, además de una forma de comprobar que funciona. Especificar un sistema nos ayuda a entenderlo. Es una buena idea comprender un sistema antes de construirlo, por lo que es una buena idea escribir una especificación de un sistema antes de implementarlo. La herramienta más eficaz para describir una especificación es la Lógica Temporal de Acciones, o TLA, porque proporciona una base matemática, es decir, precisa, para describir sistemas. TLA+ es el lenguaje que el autor desarrolló para escribir las especificaciones matemáticas. TLA+ está disponible gratuitamente en Puede usarse tanto para software como para hardware. De hecho, Intel está utilizando TLA+ con gran éxito en el diseño de un nuevo chip. El libro está dividido en cuatro partes. La primera parte contiene todo lo que la mayoría de los programadores e ingenieros necesitan saber sobre la redacción de especificaciones. La segunda parte contiene material más avanzado para lectores más sofisticados. La tercera y cuarta partes comprenden un manual de referencia para TLA+, tanto del lenguaje en sí como de sus herramientas.



Color: Negro

Marca: Addison Wesley
Dimensiones: 0.23 x 0.19 x 0.02mts.
Peso del Producto: 0.50 Kilogramos.
Peso de Envio: 0.50 Kilogramos.
Modelo: Illustrations

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

IMPORTANTE:
- Rapidez en envió: PRODUCTO DISPONIBLE para envió Internacional (Se demora aproximadamente 10 días).
- No realizamos factura fiscal
- Muchos de nuestros productos se venden en EEUU y vienen en idioma ingles (juegos, electrónicos, etc).
- Asesoría: Aclara todas tus dudas sobre compatibilidad en la sección de preguntas, estamos para servirte.

Garantía del vendedor: 30 días