• 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 - 4790.31 TL
2 ay 2478.99 TL 4957.97 TL
3 ay 1684.59 TL 5053.78 TL
6 ay 898.18 TL 5389.10 TL
9 ay 638.71 TL 5748.37 TL
12 ay 516.95 TL 6203.45 TL

cardFinans
cardFinans
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 4790.31 TL
2 ay 2478.99 TL 4957.97 TL
3 ay 1684.59 TL 5053.78 TL
6 ay 898.18 TL 5389.10 TL
9 ay 638.71 TL 5748.37 TL
12 ay 516.95 TL 6203.45 TL

Bonus
Bonus
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 4790.31 TL
2 ay 2478.99 TL 4957.97 TL
3 ay 1684.59 TL 5053.78 TL
6 ay 898.18 TL 5389.10 TL
9 ay 638.71 TL 5748.37 TL
12 ay 516.95 TL 6203.45 TL

World
World
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 4790.31 TL
2 ay 2478.99 TL 4957.97 TL
3 ay 1684.59 TL 5053.78 TL
6 ay 898.18 TL 5389.10 TL
9 ay 638.71 TL 5748.37 TL
12 ay 516.95 TL 6203.45 TL

Maximum
Maximum
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 4790.31 TL
2 ay 2478.99 TL 4957.97 TL
3 ay 1684.59 TL 5053.78 TL
6 ay 898.18 TL 5389.10 TL
9 ay 638.71 TL 5748.37 TL
12 ay 516.95 TL 6203.45 TL

Paraf
Paraf
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 4790.31 TL
2 ay 2478.99 TL 4957.97 TL
3 ay 1684.59 TL 5053.78 TL
6 ay 898.18 TL 5389.10 TL
9 ay 638.71 TL 5748.37 TL
12 ay 516.95 TL 6203.45 TL

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

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

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