• 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 - 5939.84 TL
2 ay 3103.57 TL 6207.14 TL
3 ay 2108.64 TL 6325.93 TL
6 ay 1123.62 TL 6741.72 TL
9 ay 801.88 TL 7216.91 TL
12 ay 645.96 TL 7751.50 TL

cardFinans
cardFinans
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5939.84 TL
2 ay 3103.57 TL 6207.14 TL
3 ay 2108.64 TL 6325.93 TL
6 ay 1123.62 TL 6741.72 TL
9 ay 801.88 TL 7216.91 TL
12 ay 645.96 TL 7751.50 TL

Bonus
Bonus
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5939.84 TL
2 ay 3103.57 TL 6207.14 TL
3 ay 2108.64 TL 6325.93 TL
6 ay 1123.62 TL 6741.72 TL
9 ay 801.88 TL 7216.91 TL
12 ay 645.96 TL 7751.50 TL

World
World
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5939.84 TL
2 ay 3103.57 TL 6207.14 TL
3 ay 2108.64 TL 6325.93 TL
6 ay 1123.62 TL 6741.72 TL
9 ay 801.88 TL 7216.91 TL
12 ay 645.96 TL 7751.50 TL

Maximum
Maximum
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5939.84 TL
2 ay 3103.57 TL 6207.14 TL
3 ay 2108.64 TL 6325.93 TL
6 ay 1123.62 TL 6741.72 TL
9 ay 801.88 TL 7216.91 TL
12 ay 645.96 TL 7751.50 TL

Paraf
Paraf
Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 5939.84 TL
2 ay 3103.57 TL 6207.14 TL
3 ay 2108.64 TL 6325.93 TL
6 ay 1123.62 TL 6741.72 TL
9 ay 801.88 TL 7216.91 TL
12 ay 645.96 TL 7751.50 TL

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

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

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