Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Refinement Calculus
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Much current research in computer science is concerned with two questions: is a program correct? And...
Celý popis
Libristo kód: 01385488
?
290 b
290 b
2 902
Kč
Skladem u dodavatele v malém množství
Odesíláme za 10-14 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
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.
Informace o knize
Plný název
Refinement Calculus
Jazyk
Angličtina
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
