Name: Joker: An Animator for Formal Languages (en Inglés)
SKU: 62582820
Price: 80.74 USD
Availability: InStock
Author: Diego Oliveira
ISBN: 9783659765117

Selecciona tu país

América

Europa

Resto del mundo

portada Joker: An Animator for Formal Languages (en Inglés)

Joker: An Animator for Formal Languages (en Inglés)

Formato

Libro Físico

Editorial

Lap Lambert Academic Publishing

Autor

Diego Oliveira

Idioma

Inglés

N° páginas

128

Encuadernación

Tapa Blanda

ISBN13

9783659765117

Joker: An Animator for Formal Languages (en Inglés)

Diego Oliveira (Autor) · Lap Lambert Academic Publishing · Tapa Blanda

Libro Nuevo Importado

Envío: 25 a 32 días háb.

$ 134.57$ 80.74

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 80.74

Llega entre el 05 Oct y el 19 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Joker: An Animator for Formal Languages (en Inglés)"

This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.