Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
ML for the Working Programmer
Taschenbuch von Lawrence C. Paulson (u. a.)
Sprache: Englisch

83,00 €*

inkl. MwSt.

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: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9780521565431
ISBN-10: 052156543X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Paulson, Lawrence C.
Paulson, Larry C.
Auflage: Revised
Hersteller: Cambridge University Press
Maße: 244 x 170 x 27 mm
Von/Mit: Lawrence C. Paulson (u. a.)
Erscheinungsdatum: 30.11.2009
Gewicht: 0,854 kg
Artikel-ID: 109135729
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: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9780521565431
ISBN-10: 052156543X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Paulson, Lawrence C.
Paulson, Larry C.
Auflage: Revised
Hersteller: Cambridge University Press
Maße: 244 x 170 x 27 mm
Von/Mit: Lawrence C. Paulson (u. a.)
Erscheinungsdatum: 30.11.2009
Gewicht: 0,854 kg
Artikel-ID: 109135729
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte