Cart 0
Abstract Computing Machines

Abstract Computing Machines

Werner Kluge

Format: Print Book

ISBN: 9783540211464

  • Save Rp 187.374,94
Tax included.
Will not ship until

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Publication Year: 2005
Imprint: Springer Berlin Heidelberg
Format: H
Weight (Gram): 804





We Also Recommend

Taming the Guerrilla in International Commercial Arbitration

Taming the Guerrilla in International Commercial Arbitration
Commercial Aviation in the Jet Era and the Systems that Make it Possible

Commercial Aviation in the Jet Era and the Systems that Make it Possible

Save Rp 72.787,96
Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Save Rp 19.458,16
The Asian 21st Century

The Asian 21st Century

Save Rp 103.897
Breast Imaging Essentials

Breast Imaging Essentials