Datenbestand vom 11. Februar 2012
Warenkorb Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

aktualisiert am 11. Februar 2012

ISBN 978-3-89963-866-0

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