Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science - Nielson, Flemming (Aarhus Universitet, Denmark) - Grāmatas - Cambridge University Press - 9780521018470 - 2005. gada 22. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 73,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 25. sept.
Saņemiet paziņojumus par jauniem Nielson, Flemming (Aarhus Universitet, Denmark) izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2005. gada 22. augusts
ISBN13 9780521018470
Izdevēji Cambridge University Press
Lapas 312
Izmēri 170 × 244 × 17 mm   ·   493 g
Valoda Angļu  
Sērijas redaktors Abramsky, S.
Sērijas redaktors Aczel, P. H.
Sērijas redaktors Bakker, J. W. De
Sērijas redaktors Gurevich, Y.
Sērijas redaktors Tucker, J. V.
Sērijas redaktors Van Rijsbergen, C. J.

Vairāk no tā paša izdevēja