Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Refinement Calculus

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

A Systematic Introduction

Ralph-Johan Back

Joakim von Wright

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01385488

Založba Springer, Berlin, november 2003

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

Koda Libristo: 01385488

253 b

104.71 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Stromata Buch I-VI Ludwig Früchtel

Trda

192.73 €

Bulharsko 1:800 000 neuvedený autor

Zemljevid

6.57 €

Fafik znikł Sanne Haugaard

Adobe ePub DRM

1.20 €

Análisis de la dramaturgia puertorriqueña actual

Mehka

27.71 €

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

Mehka

6.06 €

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

Mehka

25.59 €

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

Preglednica

15.57 €

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

Mehka

13.55 €

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

Mehka

9.50 €

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

Mehka

39.15 €

Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri

Mehka

46.94 €

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.