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 Kurier 12.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 253 b
455.86 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Fallbeispiel einer an Bulimie leidenden Patientin. Verhaltensanalyse, Diagnose und Therapie Lea Freudenstein / Książka Miękka
common.buy 62.81 zł
Poema Del Cante Jondo/Romancero Gitano Federico García Lorca / Książka Miękka
common.buy 51.30 zł
Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri / Książka Miękka
common.buy 814.14 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 117.89 zł
Fokus Mathematik - Gymnasium - Ausgabe N - 6. Schuljahr Norbert Esper / Książka Karta
common.buy 73.64 zł
Sangit-Shri-Krishnayan, Volume 1 of Sangit-Shri-Krishna-Ramayan, Hindi-Sanskrit-English Ratnakar Narale / Książka Miękka
common.buy 184.01 zł
Pénz - A mágikus játék Deborah L. Price / Książka Miękka
common.buy 31.28 zł
Análisis de la dramaturgia puertorriqueña actual / Książka Miękka
common.buy 131.09 zł
Stromata Buch I-VI Ludwig Früchtel / Książka Twarda
common.buy 797.04 zł
Fafik znikł Sanne Haugaard / E-book Adobe ePub DRM
common.buy 5.97 zł
Bulharsko 1:800 000 neuvedený autor / Prasa Mapa
common.buy 30.37 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 635.56 zł
International Mission to the Moon Jean Petithuguenin / Książka Miękka
common.buy 71.32 zł
Sweetpea C. J. Skuse / Książka Twarda
common.buy 64.67 zł
Merge in the Mind-Brain Fukui / Książka Twarda
common.buy 991.52 zł
Amazed Aleksandra Artymowska / Książka Twarda
common.buy 62.97 zł
Find Solutions - Games and Activities Agnes de Bezenac / Książka Miękka
common.buy 44.26 zł
Norwegian Picture Book: Norwegian Pictorial Dictionary (Color and Learn) Wai Cheung / Książka Miękka
common.buy 34.00 zł
Selected Letters of C.G. Jung, 1909-1961 C G Jung / Książka Twarda
common.buy 540.68 zł
7 Keys to Mending A Broken Mind: Seek Not to Change Others: Choose to Change Your Mind Mrs Patricia Evans Morrisey / Książka Miękka
common.buy 42.15 zł
Impossible Parenting Olivia Scobie / Książka Miękka
common.buy 75.75 zł
How to Buy Foreclosures Brian Mahoney / Książka Miękka
common.buy 54.22 zł
Python Forensics Chet Hosmer / E-book Adobe ePub DRM
common.buy 275.82 zł
Melatonin: Current Status and Perspectives N. Birau / E-book Adobe ePub DRM
common.buy 282.11 zł
Human Behavior: A First Book in Psychology for Teachers William Chandler Bagl... Sheldon Colvin / Książka Miękka
common.buy 111.77 zł
Vehicle Technology Dieter Schramm / Książka Miękka
common.buy 294.18 zł
Letters to Leigh . . Demonmocker / Książka Miękka
common.buy 90.74 zł
Ivy and Bean Make the Rules Annie Barrows / Książka Twarda
common.buy 54.22 zł
Introduction to Dynamic Meteorology James Holton / Książka Twarda
common.buy 487.36 zł
Doing Things with Words in the First Christian Century Francis Gerald Downing / Książka Miękka
common.buy 550.74 zł
TOP
The Lightning Thief Rick Riordan / Książka Miękka
common.buy 41.74 zł
Elemental Sulfur and Sulfur-Rich Compounds I Ralf Steudel / Książka Twarda
common.buy 1 904.78 zł
Vikings! Ian Stephenson / Książka Miękka
common.buy 43.96 zł
Christine de Pizan and the Moral Defence of Women Rosalind (University of Leeds) Brown-Grant / Książka Miękka
common.buy 236.73 zł
Zapowiedź
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 390.87 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?