Name: Lectures on the Logic of Computer Programming (en Inglés)
SKU: 67594998
Price: 76.24 USD
Availability: InStock
Author: Zohar Manna

portada Lectures on the Logic of Computer Programming (en Inglés)

Lectures on the Logic of Computer Programming (en Inglés)

Formato

Libro Físico

Editorial

SIAM - Society for Industrial and Applied Mathematics

Autor

Zohar Manna

Colección

CBMS-NSF Regional Conference Series in Applied Mathematics

Año

1987

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.2 cm

ISBN13

9780898711646

Lectures on the Logic of Computer Programming (en Inglés)

Zohar Manna (Autor) · SIAM - Society for Industrial and Applied Mathematics · Tapa Blanda

Libro Nuevo Importado

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

$ 138.62$ 76.24

-45%

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

Libro Nuevo

Quedan 2 unidades

$ 76.24

Llega entre el 30 Sep y el 14 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Lectures on the Logic of Computer Programming (en Inglés)"

Deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts.

This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.