Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Angol
292 b
30 nap a termék visszaküldésére
A vásárlók ilyet vásároltak
/
Puha kötésű
10 461
Ft
/
Puha kötésű
5 603
Ft
/
Puha kötésű
15 726
Ft
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.
Információ a könyvről
Angol
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Puha kötésű
9 582
Ft
/
Puha kötésű
2 933
Ft
/
Kemény kötésű
89 904
Ft
/
Kemény kötésű
32 483
Ft
/
Puha kötésű
21 037
Ft
/
Puha kötésű
50 000
Ft
