Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Refinement Calculus

Name: Refinement Calculus
Brand: Springer, Berlin
SKU: 01385488
Price: 98.54 EUR
Availability: InStock
Author: Ralph-Johan Back
ISBN: 9780387984179

A Systematic Introduction

Ralph-Johan Back

Joakim von Wright

Língua

Inglês

Livro Capa mole

Código Libristo: 01385488

Editoras Springer, Berlin, novembro 2003

Much current research in computer science is concerned with two questions: is a program correct? And... Descrição completa

Código Libristo: 01385488

238 b

98.54 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Stromata Buch I-VI Ludwig Früchtel

Livro de capa dura

173.41 €

Bulharsko 1:800 000 neuvedený autor

Mapa

6.16 €

Fafik znikł Sanne Haugaard

Adobe ePub DRM

1.10 €

Análisis de la dramaturgia puertorriqueña actual

Capa mole

25.08 €

Pénz - A mágikus játék Deborah L. Price

Capa mole

5.66 €

Medievo constitucional:historia y mito político en los orígenes de la España con JOSE MANUEL NIETO SORIA

Capa mole

24.07 €

Fokus Mathematik - Gymnasium - Ausgabe N - 6. Schuljahr Norbert Esper

Folha

14.86 €

Fallbeispiel einer an Bulimie leidenden Patientin. Verhaltensanalyse, Diagnose und Therapie Lea Freudenstein

Capa mole

12.74 €

Poema Del Cante Jondo/Romancero Gitano Federico García Lorca

Capa mole

9.50 €

Sangit-Shri-Krishnayan, Volume 1 of Sangit-Shri-Krishna-Ramayan, Hindi-Sanskrit-English Ratnakar Narale

Capa mole

35.10 €

Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri

Capa mole

44.00 €

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.