Name: Java Pathfinder User Guide (en Inglés)
SKU: 59977675
Price: 519.07 MXN
Availability: InStock
Author: Nasa Technical Reports Server (Ntrs) ; Havelund, Klaus
ISBN: 9781289290542

portada Java Pathfinder User Guide (en Inglés)

Formato

Libro Físico

Autor

Klaus Havelund

Nasa Technical Reports Server (Ntrs)

Editorial

Bibliogov

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

24.6x18.9x0.2 cm

Peso

0.08 kg.

ISBN13

9781289290542

Categorías

Política y gobierno

Java Pathfinder User Guide (en Inglés)

Klaus Havelund (Autor) · Nasa Technical Reports Server (Ntrs) (Autor) · Bibliogov · Tapa Blanda

Libro Nuevo Importado

Envío: 18 a 23 días háb.

$ 943.76$ 519.07

-45%

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

Libro Nuevo

Quedan 100 unidades

$ 519.07

¡Envío Gratis! Llega entre el 11 Sep y el 22 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Java Pathfinder User Guide (en Inglés)"

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.