Freunden von diesem Artikel berichten:
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science Nielson, Flemming (Aarhus Universitet, Denmark)
Preis
€ 144,99
Bestellware
Lieferdatum: ca. 12. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
Two-Level Functional Languages - Cambridge Tracts in Theoretical Computer Science
Nielson, Flemming (Aarhus Universitet, Denmark)
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.
311 pages, 4 b/w illus. 35 tables
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 16. Juli 1992 |
| ISBN13 | 9780521403849 |
| Verlag | Cambridge University Press |
| Seitenanzahl | 312 |
| Maße | 170 × 244 × 19 mm · 714 g |
| Sprache | Englisch |
Alle Titel von Nielson, Flemming (Aarhus Universitet, Denmark) ansehen ( u. a. Gebundenes Buch und Taschenbuch )