Cart 0
Abstract Computing Machines

Abstract Computing Machines

Werner Kluge

Format: Print Book

ISBN: 9783540211464

  • Save SGD 15.60
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 SGD 6.06
Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Save SGD 1.62
The Asian 21st Century

The Asian 21st Century

Save SGD 8.65
Breast Imaging Essentials

Breast Imaging Essentials