Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Refinement Calculus

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

A Systematic Introduction

Ralph-Johan Back

Joakim von Wright

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01385488

Nakladateľstvo Springer, Berlin, november 2003

Much current research in computer science is concerned with two questions: is a program correct? And... Celý popis

Libristo kód: 01385488

268 b

110.64 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Stromata Buch I-VI Ludwig Früchtel

Pevná

192.50 €

Bulharsko 1:800 000 neuvedený autor

Mapa

6.05 €

Fafik znikł Sanne Haugaard

Adobe ePub DRM

1.30 €

Análisis de la dramaturgia puertorriqueña actual

Brožovaná

30.20 €

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

Brožovaná

6.86 €

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

Brožovaná

27.07 €

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

List

17.17 €

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

Brožovaná

14.44 €

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

Brožovaná

10.60 €

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

Brožovaná

39.10 €

Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri

Brožovaná

49.81 €

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.