Contacto
Cómo comprar
Entrega
Guía de compras
Inglés
298 b
Política de devolución de 30 días
Clientes que también han comprado
/
Tapa blanda
29.69
€
/
Tapa blanda
15.89
€
/
Tapa blanda
42.59
€
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.
Sobre el libro
Inglés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
25.89
€
/
Tapa blanda
7.99
€
/
Tapa dura
269.89
€
/
Tapa dura
96.49
€
/
Tapa blanda
62.49
€
/
Tapa blanda
148.59
€
