Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Boeken - Cambridge University Press - 9780521018470 - 22 augustus 2005
Indien omslag en titel niet overeenkomen, is de titel correct

Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science

Prijs
€ 66,49

Besteld in een afgelegen magazijn

Verwachte levering 29 jan. - 9 feb.
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar 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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 22 augustus 2005
ISBN13 9780521018470
Uitgevers Cambridge University Press
Pagina's 312
Afmetingen 170 × 244 × 17 mm   ·   493 g
Taal en grammatica Engels  
Serie-editor Abramsky, S.
Serie-editor Aczel, P. H.
Serie-editor Bakker, J. W. De
Serie-editor Gurevich, Y.
Serie-editor Tucker, J. V.
Serie-editor Van Rijsbergen, C. J.