Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
93,70 €
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
Kategorien:
Beschreibung
This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
Inhaltsverzeichnis
1. Standard ML; 2. Names, functions and types; 3. Lists; 4. Trees and concrete data; 5. Functions and infinite data; 6. Reasoning about functional programs; 7. Modules; 8. Imperative programming in ML; 9. Writing interpreters for the lambda-calculus; 10. A tactical theorem prover; Bibliography.
Details
| Erscheinungsjahr: | 2009 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Importe, Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: | Kartoniert / Broschiert |
| ISBN-13: | 9780521565431 |
| ISBN-10: | 052156543X |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Paulson, Lawrence C.
Paulson, Larry C. |
| Auflage: | Revised |
| Hersteller: | Cambridge University Press |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 244 x 170 x 27 mm |
| Von/Mit: | Lawrence C. Paulson (u. a.) |
| Erscheinungsdatum: | 30.11.2009 |
| Gewicht: | 0,854 kg |