Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Refinement Calculus

A Systematic Introduction

Język AngielskiAngielski
Książka Miękka
Książka Refinement Calculus Ralph-Johan Back
Kod Libristo: 01385488
Wydawnictwo Springer, Berlin, listopad 2003
Much current research in computer science is concerned with two questions: is a program correct? And... Cały opis
? points 268 b
469.05 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Stromata Buch I-VI Ludwig Früchtel / Książka Twarda
common.buy 774.85 zł
Bulharsko 1:800 000 neuvedený autor / Prasa Mapa
common.buy 29.56 zł
Fafik znikł Sanne Haugaard / E-book Adobe ePub DRM
common.buy 5.60 zł
Análisis de la dramaturgia puertorriqueña actual / Książka Miękka
common.buy 128.08 zł
Pénz - A mágikus játék Deborah L. Price / Książka Miękka
common.buy 29.06 zł
Medievo constitucional:historia y mito político en los orígenes de la España con JOSE MANUEL NIETO SORIA / Książka Miękka
common.buy 114.55 zł
Fokus Mathematik - Gymnasium - Ausgabe N - 6. Schuljahr Norbert Esper / Książka Karta
common.buy 72.76 zł
Fallbeispiel einer an Bulimie leidenden Patientin. Verhaltensanalyse, Diagnose und Therapie Lea Freudenstein / Książka Miękka
common.buy 61.03 zł
Poema Del Cante Jondo/Romancero Gitano Federico García Lorca / Książka Miękka
common.buy 44.99 zł
Sangit-Shri-Krishnayan, Volume 1 of Sangit-Shri-Krishna-Ramayan, Hindi-Sanskrit-English Ratnakar Narale / Książka Miękka
common.buy 174.09 zł
Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri / Książka Miękka
common.buy 210.97 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Refinement Calculus
Autor Ralph-Johan Back, Joakim von Wright
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 520
EAN 9780387984179
ISBN 0387984178
Kod Libristo 01385488
Wydawnictwo Springer, Berlin
Waga 1070
Wymiary 156 x 234 x 27

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Modelling and Identification of Dynamic Systems N. K. Sinha / Książka Twarda
common.buy 653.27 zł
Selected Letters of C.G. Jung, 1909-1961 C G Jung / Książka Twarda
common.buy 376.34 zł
Vehicle Technology Dieter Schramm / Książka Miękka
common.buy 278.12 zł
Human Behavior: A First Book in Psychology for Teachers William Chandler Bagl... Sheldon Colvin / Książka Miękka
common.buy 106.03 zł
Melatonin: Current Status and Perspectives N. Birau / E-book Adobe ePub DRM
common.buy 272.51 zł
Python Forensics Chet Hosmer / E-book Adobe ePub DRM
common.buy 266.39 zł
How to Buy Foreclosures Brian Mahoney / Książka Miękka
common.buy 51.21 zł
Norwegian Picture Book: Norwegian Pictorial Dictionary (Color and Learn) Wai Cheung / Książka Miękka
common.buy 32.36 zł
Find Solutions - Games and Activities Agnes de Bezenac / Książka Miękka
common.buy 41.99 zł
Amazed Aleksandra Artymowska / Książka Twarda
common.buy 67.74 zł
Merge in the Mind-Brain Fukui / Książka Twarda
common.buy 914.67 zł
Sweetpea C. J. Skuse / Książka Twarda
common.buy 62.83 zł
International Mission to the Moon Jean Petithuguenin / Książka Miękka
common.buy 79.77 zł
Handbook of Stress and the Brain Part 1: The Neurobiology of Stress Thomas Steckler / Książka Twarda
common.buy 1 072.02 zł
Grief Labyrinth Carole Lindroos / Książka Miękka
common.buy 63.53 zł
Psychodynamic Approaches to Psychopathology, vol 1, An Issue of Child and Adolescent Psychiatric Clinics of North America Rachel Z Ritvo / Książka Twarda
common.buy 387.37 zł
Christine de Pizan and the Moral Defence of Women Rosalind (University of Leeds) Brown-Grant / Książka Miękka
common.buy 227.10 zł
Vikings! Ian Stephenson / Książka Miękka
common.buy 45.79 zł
Ivy and Bean Make the Rules Annie Barrows / Książka Twarda
common.buy 56.02 zł
Elemental Sulfur and Sulfur-Rich Compounds I Ralf Steudel / Książka Twarda
common.buy 1 957.63 zł
Introduction to Dynamic Meteorology James Holton / Książka Twarda
common.buy 420.04 zł
Doing Things with Words in the First Christian Century Francis Gerald Downing / Książka Miękka
common.buy 539.51 zł
TOP
The Lightning Thief Rick Riordan / Książka Miękka
common.buy 40.08 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo