Inicio Refinement Calculus: A Systematic Introduction de Ralph-Johan Back; Joakim Wright (ISBN: 9780387984179)

Foto de archivo: la portada puede ser diferente

Refinement Calculus: A Systematic Introduction Tapa blanda - 1998

Name: Refinement Calculus: A Systematic Introduction
Price: 23.12 GBP
Availability: InStock
Author: Ralph-Johan, B. and Wright, J.V.
ISBN: 9780387984179

de Ralph-Johan Back; Joakim Wright

Ver más ejemplares ↓

Información de la editorial

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.

Detalles

Título Refinement Calculus: A Systematic Introduction
Autor Ralph-Johan Back; Joakim Wright
Encuadernación Tapa blanda
Edición Softcover reprin
Páginas 520
Volúmenes 1
Idioma ENG
Editorial Springer
Fecha de publicación 1998-04-13
Ilustrado Sí
ISBN 9780387984179 / 0387984178
Peso 1.64 libras (0.74 kg)
Dimensiones 9.25 x 6.08 x 1.13 pulgadas (23.50 x 15.44 x 2.87 cm)
Library of Congress subjects Calculus, Computer programming
Número de catálogo de la Librería del Congreso de EEUU 97047336
Dewey Decimal Code 005.14

Ir arriba↑

Más ejemplares

Foto de archivo: la portada puede ser diferente

Refinement Calculus: A Systematic Introduction

de Ralph-Johan, B. and Wright, J.V.

Usado
Tapa dura

Estado

Usado

Encuadernación

Hardcover

ISBN 10 / ISBN 13

9780387984179 / 0387984178

Cantidad disponible

Librería

Anybook.com

Lincoln, Lincolnshire, Aberdeen, United Kingdom

Puntuación del vendedor:

Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.

Precio

EUR 27.34

EUR 15.08 enviando a USA

Mostrar detalles

Descripción:

Springer, 1998. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780387984179