ML for the Working Programmer | Taschenbuch | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

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

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

80,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

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

preigu-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
Seiten:	500
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

preigu-id: 109135729

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783519022749 | Testmethoden für sequentielle und nebenläufige Software-Systeme | Buch

Testmethoden für sequentielle und nebenläufige Software-Systeme

EAN: 9783519022749

Sprache: Deutsch

Von/Mit: Eike H. Riedemann (u. a.)

49,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781629603803 | The Little SAS Enterprise Guide Book | Susan J. Slaughter (u. a.)

The Little SAS Enterprise Guide Book

EAN: 9781629603803

Sprache: Englisch

Von/Mit: Susan J. Slaughter (u. a.)

62,85 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780134668949 | Metal Programming Guide | Tutorial and Reference Via Swift | Clayton

Metal Programming Guide

Tutorial and Reference Via Swift

EAN: 9780134668949

Sprache: Englisch

Von/Mit: Janie Clayton

51,00 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781788299237 | Mastering Non-Functional Requirements | Sameer Paradkar | Taschenbuch

Mastering Non-Functional Requirements

EAN: 9781788299237

Sprache: Englisch

Von/Mit: Sameer Paradkar

50,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781617295317 | Voice Applications for Alexa and Google Assistant | Dustin Coates

Voice Applications for Alexa and Google Assistant

EAN: 9781617295317

Sprache: Englisch

Von/Mit: Dustin A. Coates

60,00 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781484237410 | Expert Twisted | Event-Driven and Asynchronous Programming with Python

Event-Driven and Asynchronous Programming with Python

EAN: 9781484237410

Sprache: Englisch

Von/Mit: Mark Williams (u. a.)

47,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781789612158 | Applied Data Visualization with R and ggplot2 | Tania Moulik | Buch

Applied Data Visualization with R and ggplot2

EAN: 9781789612158

Sprache: Englisch

Von/Mit: Tania Moulik

39,25 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781783987924 | Test- Driven Python Development | Siddharta Govindaraj | Taschenbuch

Test- Driven Python Development

EAN: 9781783987924

Sprache: Englisch

Von/Mit: Siddharta Govindaraj

60,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781789532463 | Learning RSLogix 5000 Programming | Austin Scott | Taschenbuch | 2020

Learning RSLogix 5000 Programming

Build robust PLC solutions with ControlLogix, CompactLogix, and Studio 5000/RSLogix 5000

EAN: 9781789532463

Sprache: Englisch

Von/Mit: Austin Scott

51,70 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781484268056 | Introduction to Python Network Automation | The First Journey | Choi

Introduction to Python Network Automation

The First Journey

EAN: 9781484268056

Sprache: Englisch

Von/Mit: Brendan Choi

57,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9789152765814 | Developer Experience | Marcus Maestri | Taschenbuch | Paperback | 2023

Developer Experience

Navigating Digital Transformation For Productivity And Satisfaction

EAN: 9789152765814

Sprache: Englisch

Von/Mit: Marcus Maestri

35,20 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781484296592 | Python Graphics | A Reference for Creating 2D and 3D Images | Korites

Python Graphics

A Reference for Creating 2D and 3D Images

EAN: 9781484296592

Sprache: Englisch

Von/Mit: Bernard Korites

63,75 €*

Lieferzeit 1-2 Wochen