Name: ESC/ Java (en Inglés)
SKU: 67088421
Price: 455671.00 COP
Availability: InStock
ISBN: 9786131902048

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

Betascript Publishing

Idioma

Inglés

Encuadernación

Tapa Blanda

Dimensiones

0 x 0 cm

ISBN13

9786131902048

ESC/ Java (en Inglés)

Libro Nuevo Importado

Envío: 20 a 24 días háb.

$ 759.452$ 455.671

-40%

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

Libro Nuevo

Quedan 10 unidades

$ 455.671

¡Envío Gratis! Llega entre el 07 Oct y el 15 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "ESC/ Java (en Inglés)"

High Quality Content by WIKIPEDIA articles! ESC/Java (and more recently ESC/Java2), the "Extended Static Checker for Java," is a programming tool that attempts to find common run-time errors in Java programs by static analysis of the program text. Recent versions of ESC/Java are based around the Java Modeling Language (JML). Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or pragmas. ESC/Java was originally developed at the Compaq Systems Research Center (SRC). SRC launched the project in 1997, after work on their original extended static checker, ESC/Modula-3, ended in 1996. In 2002, SRC released the source code for ESC/Java and related tools.