• Ana sayfa
  • Matematik
  • Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Yazar : Werner Kluge
Yayınevi : Springer
ISBN : 9783540211464
Baskı yılı : 2005
Sayfa sayısı : 404
Ağırlık : 0.71 kg
Stok durumu : Var    Stok detayları
Kargoya teslim : Aynı gün kargo
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
1 Introduction 1
2 Algorithms and programs 11
3 An algorithmic language 37
4 The [lambda]-calculus 51
5 The SE(M)CD machine and others 89
6 Toward full-fledged [lambda]-calculus machines 113
7 Interpreted head-order graph reduction 149
8 The B-machine 171
9 The G-machine 193
10 The [pi]-RED machinery 215
11 Pattern matching 253
12 Another functional abstract machine 271
13 Imperative abstract machines 289
14 Real computing machines 321
A Input/output 347
B On theorem proving 361

Axess
Axess
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5868.32 TL
2 ay 3066.20 TL 6132.39 TL
3 ay 2083.25 TL 6249.76 TL
6 ay 1110.09 TL 6660.54 TL
9 ay 792.22 TL 7130.01 TL
12 ay 638.18 TL 7658.16 TL

cardFinans
cardFinans
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5868.32 TL
2 ay 3066.20 TL 6132.39 TL
3 ay 2083.25 TL 6249.76 TL
6 ay 1110.09 TL 6660.54 TL
9 ay 792.22 TL 7130.01 TL
12 ay 638.18 TL 7658.16 TL

Bonus
Bonus
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5868.32 TL
2 ay 3066.20 TL 6132.39 TL
3 ay 2083.25 TL 6249.76 TL
6 ay 1110.09 TL 6660.54 TL
9 ay 792.22 TL 7130.01 TL
12 ay 638.18 TL 7658.16 TL

World
World
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5868.32 TL
2 ay 3066.20 TL 6132.39 TL
3 ay 2083.25 TL 6249.76 TL
6 ay 1110.09 TL 6660.54 TL
9 ay 792.22 TL 7130.01 TL
12 ay 638.18 TL 7658.16 TL

Maximum
Maximum
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5868.32 TL
2 ay 3066.20 TL 6132.39 TL
3 ay 2083.25 TL 6249.76 TL
6 ay 1110.09 TL 6660.54 TL
9 ay 792.22 TL 7130.01 TL
12 ay 638.18 TL 7658.16 TL

Paraf
Paraf
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5868.32 TL
2 ay 3066.20 TL 6132.39 TL
3 ay 2083.25 TL 6249.76 TL
6 ay 1110.09 TL 6660.54 TL
9 ay 792.22 TL 7130.01 TL
12 ay 638.18 TL 7658.16 TL

Kredi Kartı (Tek Çekim)
Kredi Kartı (Tek Çekim)

Taksit Taksit Tutar ı Toplam Tutar
Peşin - 5868.32 TL

Bonus, Maximum, Paraf, Cardfinans, Axess ve World özelliği olan tüm kartlar ile ödeme yapılabilir.