Name: refinement calculus (en Inglés)
SKU: 3432257
Price: 101.15 USD
Availability: InStock
Author: back,wright
ISBN: 9780387984179

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

Springer

Autor

back,wright

Idioma

Inglés

N° páginas

519

ISBN

0387984178

ISBN13

9780387984179

Categorías

Ciencias de la computación

refinement calculus (en Inglés)

Back,Wright (Autor) · Springer · Libro Físico

Más barato Libro Nuevo Origen: Estados Unidos

Envío: 9 a 11 días háb.

$ 119.00$ 101.15

-15%

Más rápido Libro Nuevo Origen: Estados Unidos

Envío: 8 a 10 días háb.

$ 139.50$ 131.29

-6%

Libro Nuevo Más barato

Quedan más de 100 unidades

$ 101.15

Llega entre el 25 Nov y el 02 Dic a FL. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "refinement calculus (en Inglés)"

much current research in computer science is concerned with two questions: is a program correct? and how can we improve a correct program preserving correctness? this latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. in fact, correctness turns out to be a special case of refinement and so the focus is on refinement. although a reasonable background knowledge is assumed from mathematics and cs, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. there are numerous exercises provided of varying degrees of challenge.