Refinement Calculus: a Systematic Introduction - Texts in Computer Science - Back, Ralph-johan (Abo Akademi University, Turku, Finland) - Livros - Springer-Verlag New York Inc. - 9780387984179 - 13 de abril de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Back, Ralph-johan (Abo Akademi University, Turku, Finland)
Refinement Calculus: a Systematic Introduction - Texts in Computer Science Softcover Reprint of the Original 1st Ed. 1998 edition

Preço
R$ 612,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 5 de out
Receba avisos sobre novos lançamentos de Back, Ralph-johan (Abo Akademi University, Turku, Finland)

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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.

520 pages, 11 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de abril de 1998
ISBN13 9780387984179
Editoras Springer-Verlag New York Inc.
Páginas 520
Dimensões 156 × 234 × 27 mm   ·   743 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Back, Ralph-johan (Abo Akademi University, Turku, Finland)