Datenbestand vom 08. Februar 2012

Warenkorb Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 08. Februar 2012

ISBN 9783899638660

Euro 84,00 inkl. 7% MwSt


978-3-89963-866-0, Reihe Informatik

David Sabel
Semantics of a Call-by-Need Lambda Calculus with McCarthy's amb for Program Equivalence

389 Seiten, Dissertation Johann Wolfgang Goethe Universität Frankfurt/Main (2008), Softcover, A5

Zusammenfassung / Abstract

Abstract / Leseprobe auf Anfrage verfügbar