ML for the Working Programmer | Taschenbuch | preigu

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

88,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

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.

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
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

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:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
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

Artikel-ID: 109135729

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9781848829138 | Programming Languages: Principles and Paradigms | Gabbrielli (u. a.)

Programming Languages: Principles and Paradigms

Principles and Paradigms

EAN: 9781848829138

Sprache: Englisch

Von/Mit: Maurizio Gabbrielli (u. a.)

34,40 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781783981182 | Three.js Cookbook | Jos Dirksen | Taschenbuch | Paperback | Englisch

Three.js Cookbook

EAN: 9781783981182

Sprache: Englisch

Von/Mit: Jos Dirksen

64,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781783283156 | Mastering Python Regular Expressions | Felix Lopez (u. a.) | Buch

Mastering Python Regular Expressions

EAN: 9781783283156

Sprache: Englisch

Von/Mit: Felix Lopez (u. a.)

36,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783486717518 | Fundamente der Informatik | Peter Hubwieser (u. a.) | Taschenbuch

Fundamente der Informatik

Funktionale, imperative und objektorientierte Sicht, Algorithmen und Datenstrukturen.

EAN: 9783486717518

Sprache: Deutsch

Von/Mit: Peter Hubwieser (u. a.)

34,80 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783540606703 | Constraint-Programmierung | Grundlagen und Anwendungen | Taschenbuch

Constraint-Programmierung

Grundlagen und Anwendungen

EAN: 9783540606703

Sprache: Deutsch

Von/Mit: Slim Abdennadher (u. a.)

22,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781788471459 | Hands-On Microservices with Kotlin | Juan Antonio Medina Iglesias

Hands-On Microservices with Kotlin

EAN: 9781788471459

Sprache: Englisch

Von/Mit: Juan Antonio Medina Iglesias

60,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781484238783 | Learn to Program with Python 3 | A Step-by-Step Guide to Programming

Learn to Program with Python 3

A Step-by-Step Guide to Programming

EAN: 9781484238783

Sprache: Englisch

Von/Mit: Irv Kalb

47,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781788991926 | React Native Cookbook - Second Edition | Dan Ward | Taschenbuch | 2019

React Native Cookbook - Second Edition

EAN: 9781788991926

Sprache: Englisch

Von/Mit: Dan Ward

56,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781484270943 | Extending Kubernetes | Onur Yilmaz | Taschenbuch | xiv | Englisch

Extending Kubernetes

Elevate Kubernetes with Extension Patterns, Operators, and Plugins

EAN: 9781484270943

Sprache: Englisch

Von/Mit: Onur Yilmaz

51,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781492083818 | Hybrid Cloud Apps with OpenShift and Kubernetes | Elder (u. a.) | Buch

Hybrid Cloud Apps with OpenShift and Kubernetes

Delivering Highly Available Applications and Services

EAN: 9781492083818

Sprache: Englisch

Von/Mit: Brad Topol (u. a.)

62,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780645582048 | Beyond Effective Go | Part 2 - Striving for High-Quality Code | Scott

Beyond Effective Go

Part 2 - Striving for High-Quality Code

EAN: 9780645582048

Sprache: Englisch

Von/Mit: Corey S Scott

47,30 €*

Lieferzeit 1-2 Wochen