Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Bøger - Cambridge University Press - 9780521018470 - 22. august 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Nielson, Flemming (Aarhus Universitet, Denmark)

Pris
zł 338,90

Bestilles fra fjernlager

Forventes klar til forsendelse 25. aug. - 1. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 22. august 2005
ISBN13 9780521018470
Forlag Cambridge University Press
Antal sider 312
Mål 170 × 244 × 17 mm   ·   493 g
Sprog Engelsk  
Serieredaktør Abramsky, S.
Serieredaktør Aczel, P. H.
Serieredaktør Bakker, J. W. De
Serieredaktør Gurevich, Y.
Serieredaktør Tucker, J. V.
Serieredaktør Van Rijsbergen, C. J.

Se alt med Nielson, Flemming (Aarhus Universitet, Denmark) ( f.eks. Paperback Bog og Hardcover bog )