✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 411.512 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Abstract Computing Machines

Abstract Computing Machines

von Werner Kluge
Softcover - 9783642059384
106,99 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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

A Lambda Calculus Perspective

Details

Verlag Springer Berlin
Ersterscheinung 10. November 2010
Maße 23.5 cm x 15.5 cm
Gewicht 611 Gramm
Format Softcover
ISBN-13 9783642059384
Auflage Softcover reprint of hardcover 1st ed. 2005
Seiten 384

Schlagwörter

Compiler und Übersetzer, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Logics and Meanings of Programs, Programming Languages - Compilers - Interpreters, Theoretische Informatik