ML for the Working Programmer | Taschenbuch

Cover: 9780521565431 | ML for the Working Programmer | Lawrence C. Paulson (u. a.) | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

83,00 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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

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