Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Refinement Calculus

A Systematic Introduction

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Refinement Calculus Ralph-Johan Back
Libristo kód: 01385488
Nakladatelství Springer, Berlin, listopad 2003
Much current research in computer science is concerned with two questions: is a program correct? And... Celý popis
? points 253 b
2 533 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Stromata Buch I-VI Ludwig Früchtel / Kniha Pevná
common.buy 4 429 Kč
Bulharsko 1:800 000 neuvedený autor / Tiskovina Mapa
common.buy 159 Kč
Fafik znikł Sanne Haugaard / E-kniha Adobe ePub DRM
common.buy 32 Kč
Análisis de la dramaturgia puertorriqueña actual / Kniha Brožovaná
common.buy 732 Kč
Pénz - A mágikus játék Deborah L. Price / Kniha Brožovaná
common.buy 166 Kč
Medievo constitucional:historia y mito político en los orígenes de la España con JOSE MANUEL NIETO SORIA / Kniha Brožovaná
common.buy 618 Kč
Fokus Mathematik - Gymnasium - Ausgabe N - 6. Schuljahr Norbert Esper / Kniha List
common.buy 416 Kč
Fallbeispiel einer an Bulimie leidenden Patientin. Verhaltensanalyse, Diagnose und Therapie Lea Freudenstein / Kniha Brožovaná
common.buy 328 Kč
Poema Del Cante Jondo/Romancero Gitano Federico García Lorca / Kniha Brožovaná
common.buy 257 Kč
Sangit-Shri-Krishnayan, Volume 1 of Sangit-Shri-Krishna-Ramayan, Hindi-Sanskrit-English Ratnakar Narale / Kniha Brožovaná
common.buy 947 Kč
Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri / Kniha Brožovaná
common.buy 1 135 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Refinement Calculus
Autor Ralph-Johan Back, Joakim von Wright
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 520
EAN 9780387984179
ISBN 0387984178
Libristo kód 01385488
Nakladatelství Springer, Berlin
Váha 1070
Rozměry 156 x 234 x 27

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Modelling and Identification of Dynamic Systems N. K. Sinha / Kniha Pevná
common.buy 3 532 Kč
Selected Letters of C.G. Jung, 1909-1961 C G Jung / Kniha Pevná
common.buy 2 053 Kč
Vehicle Technology Dieter Schramm / Kniha Brožovaná
common.buy 1 491 Kč
Human Behavior: A First Book in Psychology for Teachers William Chandler Bagl... Sheldon Colvin / Kniha Brožovaná
common.buy 576 Kč
Melatonin: Current Status and Perspectives N. Birau / E-kniha Adobe ePub DRM
common.buy 1 558 Kč
Python Forensics Chet Hosmer / E-kniha Adobe ePub DRM
common.buy 1 523 Kč
How to Buy Foreclosures Brian Mahoney / Kniha Brožovaná
common.buy 278 Kč
Norwegian Picture Book: Norwegian Pictorial Dictionary (Color and Learn) Wai Cheung / Kniha Brožovaná
common.buy 176 Kč
Find Solutions - Games and Activities Agnes de Bezenac / Kniha Brožovaná
common.buy 228 Kč
Amazed Aleksandra Artymowska / Kniha Pevná
common.buy 387 Kč
Merge in the Mind-Brain Fukui / Kniha Pevná
common.buy 4 967 Kč
Sweetpea C. J. Skuse / Kniha Pevná
common.buy 339 Kč
International Mission to the Moon Jean Petithuguenin / Kniha Brožovaná
common.buy 456 Kč
Handbook of Stress and the Brain Part 1: The Neurobiology of Stress Thomas Steckler / Kniha Pevná
common.buy 6 128 Kč
Grief Labyrinth Carole Lindroos / Kniha Brožovaná
common.buy 341 Kč
Psychodynamic Approaches to Psychopathology, vol 1, An Issue of Child and Adolescent Psychiatric Clinics of North America Rachel Z Ritvo / Kniha Pevná
common.buy 2 214 Kč
Christine de Pizan and the Moral Defence of Women Rosalind (University of Leeds) Brown-Grant / Kniha Brožovaná
common.buy 1 298 Kč
Vikings! Ian Stephenson / Kniha Brožovaná
common.buy 244 Kč
Ivy and Bean Make the Rules Annie Barrows / Kniha Pevná
common.buy 301 Kč
Elemental Sulfur and Sulfur-Rich Compounds I Ralf Steudel / Kniha Pevná
common.buy 10 583 Kč
Introduction to Dynamic Meteorology James Holton / Kniha Pevná
common.buy 2 185 Kč
Doing Things with Words in the First Christian Century Francis Gerald Downing / Kniha Brožovaná
common.buy 3 084 Kč
Top
The Lightning Thief Rick Riordan / Kniha Brožovaná
common.buy 209 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet