VACACIONES, VERANO Y LA MEJOR LECTURA CON DESCUENTO EN MILES DE LIBROS  Ver más

Enviar a
CUAUHTÉMOC, Ciudad de México
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Path-Oriented Program Analysis (en Inglés)
Formato
Libro Físico
Autor
Editorial
Año
2007
Idioma
Inglés
N° páginas
208
Encuadernación
Tapa Dura
Dimensiones
23.1 x 16.2 x 1.9 cm
Peso
0.40 kg.
ISBN
0521882869
ISBN13
9780521882866
Categorías

Path-Oriented Program Analysis (en Inglés)

J. C. Huang (Autor) · Cambridge University Press · Tapa Dura

Path-Oriented Program Analysis (en Inglés) - Huang, J. C.

Libro UsadoBuen Estado Importado
Envío: 16 a 21 días háb.
$ 599.05
Costos de importación incluídos en el precio ✅
Libro Usado(Buen Estado)

Última Unidad

$ 599.05
¡Envío Gratis!  Llega entre el 04 Ago y el 12 Ago a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Path-Oriented Program Analysis (en Inglés)"

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set of subprograms and then simplifying them to the furthest extent possible. The resulting simplified subprograms are generally more understandable than the original program as a whole. The method may also be used to simplify a piece of source code by following the path-oriented method of decomposition, simplication, and recomposition. The analysis may be carried out in such a way that the derivation of the analysis result constitutes a correctness proof. The method can be applied to any source code (or portion thereof) that prescribes the computation to be performed in terms of assignment statements, conditional statements, and loop constructs, regardless of the language or paradigm used.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Dura.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes