Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Bücher - Cambridge University Press - 9780521018470 - 22. August 2005
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Nielson, Flemming (Aarhus Universitet, Denmark)
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

Preis
€ 66,99

Bestellware

Lieferdatum: ca. 13. - 22. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Auch vorhanden als:

The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

312 pages, 4 b/w illus. 35 tables

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 22. August 2005
ISBN13 9780521018470
Verlag Cambridge University Press
Seitenanzahl 312
Maße 170 × 244 × 17 mm   ·   493 g
Sprache Englisch  
Serienredakteur Abramsky, S.
Serienredakteur Aczel, P. H.
Serienredakteur Bakker, J. W. De
Serienredakteur Gurevich, Y.
Serienredakteur Tucker, J. V.
Serienredakteur Van Rijsbergen, C. J.

Alle Titel von Nielson, Flemming (Aarhus Universitet, Denmark) ansehen ( u. a. Taschenbuch und Gebundenes Buch )