Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Refinement Calculus

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

A Systematic Introduction

Ralph-Johan Back

Joakim von Wright

Lingua

Inglese

Libro In brossura

Codice Libristo: 01385488

Casa editrice Springer, Berlin, novembre 2003

Much current research in computer science is concerned with two questions: is a program correct? And... Descrizione completa

Codice Libristo: 01385488

283 b

115.59 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Stromata Buch I-VI Ludwig Früchtel

Rigido

209.49 €

Bulharsko 1:800 000 neuvedený autor

Mappa

7.29 €

Fafik znikł Sanne Haugaard

Adobe ePub DRM

1.29 €

Análisis de la dramaturgia puertorriqueña actual

In brossura

29.89 €

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

In brossura

7.19 €

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

In brossura

28.19 €

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

Foglio

17.79 €

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

In brossura

15.09 €

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

In brossura

10.49 €

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

In brossura

42.59 €

Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri

In brossura

52.19 €

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.