Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Refinement Calculus

A Systematic Introduction

Език Английски езикАнглийски език
Книга С меки корици
Книга Refinement Calculus Ralph-Johan Back
Код Либристо: 01385488
Издателство Springer, Berlin, ноември 2003
Much current research in computer science is concerned with two questions: is a program correct? And... Цялото описание
? points 283 b
116.96 €
228.76  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Stromata Buch I-VI Ludwig Früchtel / Книга С твърди корици
common.buy 202.37 € 395.80 лв
Bulharsko 1:800 000 neuvedený autor / Печатни материали Карта
common.buy 7.39 € 14.46 лв
Fafik znikł Sanne Haugaard / E-книга Adobe ePub DRM
common.buy 1.34 € 2.62 лв
Análisis de la dramaturgia puertorriqueña actual / Книга С меки корици
common.buy 31.60 € 61.81 лв
Pénz - A mágikus játék Deborah L. Price / Книга С меки корици
common.buy 7.29 € 14.26 лв
Medievo constitucional:historia y mito político en los orígenes de la España con JOSE MANUEL NIETO SORIA / Книга С меки корици
common.buy 28.55 € 55.84 лв
Fokus Mathematik - Gymnasium - Ausgabe N - 6. Schuljahr Norbert Esper / Книга Лист
common.buy 18.00 € 35.20 лв
Fallbeispiel einer an Bulimie leidenden Patientin. Verhaltensanalyse, Diagnose und Therapie Lea Freudenstein / Книга С меки корици
common.buy 15.26 € 29.84 лв
Poema Del Cante Jondo/Romancero Gitano Federico García Lorca / Книга С меки корици
common.buy 11.22 € 21.95 лв
Sangit-Shri-Krishnayan, Volume 1 of Sangit-Shri-Krishna-Ramayan, Hindi-Sanskrit-English Ratnakar Narale / Книга С меки корици
common.buy 41.12 € 80.43 лв
Simulazione numerica dell'emodinamica nell'aorta toracica Frey Yuri / Книга С меки корици
common.buy 52.76 € 103.19 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Refinement Calculus
Автор Ralph-Johan Back, Joakim von Wright
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2003
Брой страници 520
Баркод 9780387984179
ISBN 0387984178
Код Либристо 01385488
Издателство Springer, Berlin
Тегло 1070
Размери 156 x 234 x 27

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Modelling and Identification of Dynamic Systems N. K. Sinha / Книга С твърди корици
common.buy 162.74 € 318.30 лв
Selected Letters of C.G. Jung, 1909-1961 C G Jung / Книга С твърди корици
common.buy 92.91 € 181.71 лв
Vehicle Technology Dieter Schramm / Книга С меки корици
common.buy 65.75 € 128.59 лв
Human Behavior: A First Book in Psychology for Teachers William Chandler Bagl... Sheldon Colvin / Книга С меки корици
common.buy 25.03 € 48.96 лв
Melatonin: Current Status and Perspectives N. Birau / E-книга Adobe ePub DRM
common.buy 67.19 € 131.42 лв
Python Forensics Chet Hosmer / E-книга Adobe ePub DRM
common.buy 65.69 € 128.49 лв
How to Buy Foreclosures Brian Mahoney / Книга С меки корици
common.buy 12.10 € 23.67 лв
Norwegian Picture Book: Norwegian Pictorial Dictionary (Color and Learn) Wai Cheung / Книга С меки корици
common.buy 7.65 € 14.96 лв
Find Solutions - Games and Activities Agnes de Bezenac / Книга С меки корици
common.buy 9.93 € 19.42 лв
Amazed Aleksandra Artymowska / Книга С твърди корици
common.buy 15.98 € 31.25 лв
Merge in the Mind-Brain Fukui / Книга С твърди корици
common.buy 226.89 € 443.76 лв
Sweetpea C. J. Skuse / Книга С твърди корици
common.buy 15.67 € 30.65 лв
International Mission to the Moon Jean Petithuguenin / Книга С меки корици
common.buy 21.10 € 41.27 лв
Handbook of Stress and the Brain Part 1: The Neurobiology of Stress Thomas Steckler / Книга С твърди корици
common.buy 267.40 € 522.99 лв
Grief Labyrinth Carole Lindroos / Книга С меки корици
common.buy 15.00 € 29.33 лв
Psychodynamic Approaches to Psychopathology, vol 1, An Issue of Child and Adolescent Psychiatric Clinics of North America Rachel Z Ritvo / Книга С твърди корици
common.buy 95.85 € 187.48 лв
Christine de Pizan and the Moral Defence of Women Rosalind (University of Leeds) Brown-Grant / Книга С меки корици
common.buy 59.28 € 115.94 лв
Vikings! Ian Stephenson / Книга С меки корици
common.buy 11.53 € 22.55 лв
Ivy and Bean Make the Rules Annie Barrows / Книга С твърди корици
common.buy 14.07 € 27.51 лв
Elemental Sulfur and Sulfur-Rich Compounds I Ralf Steudel / Книга С твърди корици
common.buy 487.62 € 953.71 лв
Introduction to Dynamic Meteorology James Holton / Книга С твърди корици
common.buy 103.72 € 202.85 лв
Doing Things with Words in the First Christian Century Francis Gerald Downing / Книга С меки корици
common.buy 140.86 € 275.50 лв
Top
The Lightning Thief Rick Riordan / Книга С меки корици
common.buy 10.08 € 19.72 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo