- Startseite /
- Bücher /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
Artikelnr.:
195904411
Types & Programming Languages (The MIT Press)
87% der Befragten würden dies einem Freund empfehlen
Artikelnr.:
195904411
€ 102
Price Details
Ohne Versand- und Zollkosten ( Versand- und Zollkosten werden an der Kasse berechnet )
*Alle Artikel werden aus UK importiert
50%
0 ratings
Schreiben Sie eine Bewertung
Auf Lager
Vom UK Store für Sie importiert
QTY:
Nur noch 7 Artikel auf Lager.
Bestellen Sie jetzt und erhalten Sie es am Sunday, Oktober 18
Gesicherte Transaktion
Ubuy ist bestrebt, Ihre Sicherheit und Privatsphäre zu schützen. Unser fortschrittliches Zahlungssicherheitssystem gewährleistet Vertraulichkeit, indem Ihre Daten während der Übertragung mit AES (Advanced Encryption Standards) und SSL (Secure Socket Layer) Protokollen verschlüsselt werden. Ihre Zahlungsdaten sind 100% sicher, da wir Ihre Zahlungsdaten nicht an Drittanbieter weitergeben.
Unsere besten Logistigpartner
Fast
Shipping
Kostenlose
Rücksendung*
Sichere Verpackung
100 % Originalprodukte
PCI DSS-Standards
ISO 27001-zertifiziert
Produktdetails
- A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
| Publisher | MIT Press |
| Publication date | 5 Feb. 2002 |
| Edition | 1st |
| Language | English |
| Print length | 648 pages |
| ISBN-10 | 0262162091 |
| ISBN-13 | 978-0262162098 |
| Item weight | 1.31 kg |
| Dimensions | 23.88 x 20.62 x 3.61 cm |
PRODUKTBESCHREIBUNG
Haben Sie eine Frage? Mit uns chatten
Kundenfragen und -antworten
-
Frage:
Wie kaufe ich Types & Programming Languages (The MIT Press) online bei Ubuy ein?
Antworten: Es ist ganz einfach, Types & Programming Languages (The MIT Press) online bei Ubuy einzukaufen.. Sie müssen nur nach dem Produkt suchen, beim Bezahlen Ihre Versandart auswählen und es an Ihren Standort liefern lassen. -
Frage:
Ist Types & Programming Languages (The MIT Press) in Austria zum Online-Shoppen verfügbar?
Antworten: Ja, bei Ubuy Austria können Sie dieses Produkt zu einem angemessenen Preis kaufen.. Das Types & Programming Languages (The MIT Press) ist lokal nicht verfügbar, aber Sie können uns unseren Expressversandservice anvertrauen. -
Frage:
Wie lange dauert es nach der Bestellung, bis ich das Produkt erhalte?
Antworten: Die Lieferzeit Ihres bestellten Produkts hängt davon ab, was Sie bestellt haben und welche Versandart Sie gewählt haben.. Die voraussichtliche Lieferzeit wird während des Bestellvorgangs angegeben. Seien Sie also beim Einkaufen unbesorgt.
Functional Programming Editorial Review
Keine redaktionellen Rezensionen gefunden
Kundenbewertungen
95 Kundenbewertungen
-
5 Sterne
86%
-
4 Sterne
11%
-
3 Sterne
1%
-
2 Sterne
2%
-
1 Sterne
0%
Bewerten Sie dieses Produkt
Teilen Sie Ihre Meinung mit anderen Kunden
Produktpreisverlauf
Wichtige Information
- Einschränkungen: Für international versandte Produkte beachten Sie bitte, dass jegliche Herstellergarantie nicht gültig sein könnte; Herstellerservice-Optionen nicht verfügbar sein könnten; Produkthandbücher, Gebrauchsanleitungen und Sicherheitshinweise nicht in der Sprache des Ziellandes verfasst sein könnten; die Produkte (und Begleitmaterialien) könnten nicht im Einklang mit den Standards, Spezifizierungen und Etikettierungsvorgaben des Ziellandes entworfen sein; und die Produkte könnten nicht der Voltzahl und anderen elektrischen Standards des Ziellandes entsprechen (weshalb, falls zutreffend, die Verwendung eines Adapters oder Umwandlers erforderlich sein könnte). Der Empfänger ist dafür verantwortlich sicherzustellen, dass das Produkt legal in das Zielland importiert werden kann. Bei der Bestellung von Ubuy oder seinen Partnern ist der Empfänger der eingetragene Importeur und muss sich an alle Gesetze und Regulierungen des Ziellandes halten.
- Nicht alle auf Ubuy aufgeführten Produkte werden zum Verkauf angeboten, da Ubuy eine globale Suchmaschine ist. Produkte unterliegen Export-/Handelsbestimmungen.
€ 102
Bestellen Sie jetzt und erhalten Sie es am Sunday, Oktober 18
Dieser Artikel unterliegt in meinem Land keinen Beschränkungen. (Klicken Sie bitte auf den obigen Link, wenn dieser Artikel in Ihrem Land keinen Beschränkungen unterliegt. Unser Team wird ihn dann prüfen und zulassen.)
QTY:
Nur noch 7 Artikel auf Lager.
Gesicherte Transaktion
PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.
Unsere besten Logistigpartner
Schnellste grenzüberschreitende Lieferung
Ubuy Assurance
Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.