Bild 1 von 5
Programmierspr
Artikelzustand:
Preis:
US $79,99
Ca.CHF 72,38
- Sofort-KaufenProgrammiersprachen: Bauen, Beweisen und Vergleichen von Norman Ramsey
Versand:
Standort: Denver, Colorado, USA
Lieferung:
Lieferung zwischen Mi, 22. Mai und Di, 28. Mai nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 100% positive Bewertungen
Angemeldet als privater Verkäufer; verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, finden daher keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:186276275869
Artikelmerkmale
- Artikelzustand
- ISBN
- 9781107180185
- Publication Year
- 2022
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- Programming Languages : Build, Prove, and Compare
- Item Height
- 2in
- Item Length
- 10.3in
- Publisher
- Cambridge University Press
- Item Width
- 7.2in
- Number of Pages
- Xxi, 775 Pages
Über dieses Produkt
Product Information
Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
110718018x
ISBN-13
9781107180185
eBay Product ID (ePID)
3057256446
Product Key Features
Publication Name
Programming Languages : Build, Prove, and Compare
Format
Hardcover
Language
English
Publication Year
2022
Type
Textbook
Number of Pages
Xxi, 775 Pages
Dimensions
Item Length
10.3in
Item Height
2in
Item Width
7.2in
Additional Product Features
Reviews
'This book is a landmark work of scholarship. In a single consistent framework Ramsey covers a huge range of topics in programming language design, implementation, and reasoning. We see functional, imperative, and object-oriented languages; we study garbage collection, control operators, type inference, and module systems; we use the key intellectual tools of type theory and semantics to understand and reason about our programs; and, crucially, we build everything. This is not a discursive overview: the book is full of code, extensively indexed and cross-referenced. We emerge with concrete implementations of languages that are carefully designed to demonstrate the key intellectual landmarks of different programming styles. Most important of all, in reading this book you are travelling in the company of a master of his craft, one who has distilled into these pages a lifetime of insightful reflection on the principled design and implementation of programming languages.' Simon Peyton Jones, Epic Games, 'Norman Ramsey provides a foundational approach to understanding the key concepts in programming languages, including methodology around structure and formalism, complemented by abundant (battle-tested) exercises that help ground the ideas. Whereas many texts on programming languages focus on surface details of a representative class of languages, this book captures key ideas that transcend specific languages, offering formal ways to think about design, reasoning, and implementation.' Greg Morrisett, Cornell University, 'Survey courses on programming languages are popular, but the best way to understand programming languages is to implement them, and the best way to start is by implementing interpreters. This book describes how to implement interpreters for a wide range of languages, representing key features of real-world languages while providing the theoretical background needed to understand them. I have used pre-prints of this book for many years in my Caltech course on programming languages, and I know of no book with a comparable depth and breadth of coverage of the subject. I strongly recommend it to anyone with a serious interest in programming languages.' Michael C. Vanier, California Institute of Technology
Table of Content
Preface; Acknowledgments; Credits; Tables of judgment forms, important functions, and concrete syntax; List of symbols and notation; Introduction; Part I. Foundations: 1. An imperative core; 2. Scheme, S-expressions, and first class functions; 3. Control operators and a small-step semantics: Scheme+; 4. Automatic memory management; 5. Interlude: Scheme in ML; 6. Type systems for Impcore and Scheme; 7. ML and type inference; Part II. Programming at Scale: 8. User-defined, algebraic types; 9. Molecule, abstract data types, and modules; 10. Smalltalk and object orientation; Afterword; Bibliography; Key words and phrases; Concept index.
Topic
Programming Languages / General, General
Dewey Decimal
005.13
Intended Audience
Trade
Dewey Edition
23
Illustrated
Yes
Genre
Computers, Mathematics
Artikelbeschreibung des Verkäufers
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:186276275869
Verpackung und Versand
Artikelstandort:
Denver, Colorado, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niger, Nigeria, Norwegen, Oman, Pakistan, Panama, Papua-Neuguinea, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Salomonen, Sambia, Samoa (Westsamoa), San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Spanien, Sri Lanka, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Türkei, USA, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
Barbados, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Russische Föderation, Réunion, Ukraine, Venezuela
| Verpackung und Versand | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|
| Kostenloser Versand | USA | Sparversand (USPS Media MailTM) | Lieferung zwischen Mi, 22. Mai und Di, 28. Mai nach 43230 |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 3 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #186276275869
Mehrwertsteuer für diesen Artikel #186276275869
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Rücknahmebedingungen im Detail |
|---|
| Dieser Artikel kann nicht zurückgegeben werden. |
Zahlungsdaten
Zahlungsmethoden
Angemeldet als privater Verkäufer
Daher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Verkäuferbewertungen (63)
e***i (643)- Bewertung vom Käufer.
Letzte 6 Monate
Bestätigter Kauf
Great shape and price. Awesome seller.
r***1 (338)- Bewertung vom Käufer.
Letztes Jahr
Bestätigter Kauf
A+++
a***i (2847)- Bewertung vom Käufer.
Letztes Jahr
Bestätigter Kauf
AWESOME seller!! I purchased my FAVORITE classic, "Jane Eyre", by Charlotte Brontë. It was a Dover Thrift Study Edition, reasonably priced, and in "Very Good" condition, BETTER than described! Also, it arrived promptly! Thank you so much!! KUDOS!! 😁👍
Noch mehr entdecken:
- Sachbuch Norman Mailer Bücher,
- Norman Mailer Belletristik-Bücher,
- Deutsche Bücher Norman Mailer Belletristik,
- Deutsche Bücher Norman-Mailer-Sachbuch,
- Belletristik-Bücher der 1900er Norman Mailer,
- Norman-Mailer-Gebundene-Ausgabe - Sachbuch Bücher,
- Norman-Mailer-Taschenbuch-Belletristik - Bücher,
- Belletristik-Bücher als gebundene Ausgabe Norman Mailer,
- Kinder- & Jugendliteratur als Taschenbuch mit Norman Mailer Bücher,
- Norman-Mailer-Gebundene-Ausgabe - Weltliteratur- & - Klassiker-Belletristik-Bücher auf Deutsch