Bild 1 von 1
Die formale Semantik der Programmiersprachen... von Glynn Winskel #57492-
Artikelzustand:
Versand:
£22,52 (ca. EUR 26,41) Expressversand nach USA mit eBay-Programm zum weltweiten Versand. Weitere Detailsfür Versand
Standort: Spalding, Vereinigtes Königreich
Einfuhrabgaben:
Kostenlos (Betrag wird an der Kasse bestätigt)
Lieferung:
Lieferung zwischen Do, 20. Jun und Fr, 28. Jun nach 43230 bei heutigem Zahlungseingang
Mit internationaler Sendungsverfolgung
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:175654376195
Artikelmerkmale
- Artikelzustand
- Topic
- Books, Programming Languages
- Pages
- 40
- Size
- 26 x 26 centimetres (0.95 kg)
- Weight
- 296 Grams
- ISBN
- 9780262731034
- Publication Year
- 1993
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- The Formal Semantics of Programming Languages: an Introduction
- Item Height
- 229mm
- Publisher
- MIT Press LTD
- Item Width
- 178mm
- Subject
- Computer Science
- Item Weight
- 590g
- Number of Pages
- 384 Pages
Über dieses Produkt
Product Information
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of semantics and logics of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurrency. Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and full proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Goedel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to languages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information sytems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying non-deterministic and parallel programs.
Product Identifiers
Publisher
MIT Press LTD
ISBN-13
9780262731034
eBay Product ID (ePID)
91452123
Product Key Features
Publication Name
The Formal Semantics of Programming Languages: an Introduction
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1993
Type
Textbook
Number of Pages
384 Pages
Dimensions
Item Height
229mm
Item Width
178mm
Item Weight
590g
Additional Product Features
Series Title
Foundations of Computing
Country/Region of Manufacture
United States
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
GP TRADE LTD
Aldona Grabowska
8 Gore Lane
Spalding
Lincolnshire
PE11 1BN
United Kingdom
USt-IdNr.:
- GB 331168721
Handelsregisternummer:
- 11227313
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:175654376195
Verpackung und Versand
Artikelstandort:
Spalding, Vereinigtes Königreich
Versand nach:
Antigua und Barbuda, Aruba, Australien, Bahamas, Bahrain, Bangladesch, Barbados, Belgien, Belize, Bermuda, Bolivien, Brasilien, Brunei Darussalam, Bulgarien, Chile, China, Costa Rica, Deutschland, Dominica, Dominikanische Republik, Dänemark, Ecuador, El Salvador, Estland, Finnland, Frankreich, Französisch-Guayana, Gibraltar, Grenada, Griechenland, Guadeloupe, Guatemala, Guernsey, Honduras, Hongkong, Indonesien, Irland, Island, Israel, Italien, Jamaika, Japan, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kanada, Katar, Kolumbien, Kuwait, Lettland, Liechtenstein, Litauen, Luxemburg, Macau, Malaysia, Malediven, Malta, Martinique, Mexiko, Monaco, Montserrat, Neuseeland, Nicaragua, Niederlande, Norwegen, Oman, Pakistan, Panama, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kroatien, Rumänien, Réunion, Saudi-Arabien, Schweden, Schweiz, Singapur, Slowakei, Slowenien, Spanien, Sri Lanka, St. Kitts und Nevis, St. Lucia, Südafrika, Südkorea, Taiwan, Thailand, Trinidad und Tobago, Tschechische Republik, Turks- und Caicosinseln, USA, Ukraine, Ungarn, Uruguay, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Zypern, Ägypten, Österreich
Ausgeschlossen:
Afghanistan, Jemen, Libyen, Nauru, Russische Föderation, Somalia
Verpackung und Versand | Einfuhrabgaben | Nach | Service | Lieferung*Siehe Lieferhinweise |
---|---|---|---|---|
£22,52 (ca. EUR 26,41) | Einfuhrabgaben werden an der Kasse angezeigt | USA | Expressversand (International Priority Shipping) | Lieferung zwischen Do, 20. Jun und Fr, 28. Jun nach 43230 |
Bearbeitungszeit |
---|
Der Verkäufer verschickt den Artikel innerhalb von 7 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 #175654376195
Mehrwertsteuer für diesen Artikel #175654376195
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
Bundesstaat | Steuersatz für Sales Tax |
---|
Rücknahmebedingungen
Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rücksendung |
---|---|
30 Tage | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
Rücknahmebedingungen im Detail |
---|
Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (41.542)
a***i (46)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
The two books arrived together on time and were just as described - like new. They were really well packaged too. I've seen computer parts transported with less protective packaging than these books, honestly.
a***i (46)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
The two books arrived together on time and were just as described - like new. They were really well packaged too. I've seen computer parts transported with less protective packaging than these books, honestly.
2***1 (372)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Perfect 👌
Dies ist ein Angebot mit nicht öffentlicher Bieter-/Käuferliste. Nur der Verkäufer kann Ihren Nutzernamen sehen.
Noch mehr entdecken:
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Masters-of-the-Universe - Europa-Editions Hörbücher und Hörspiele,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele auf Deutsch,
- The Face Zeitschriften,
- Shades-of-Grey-Belletristik - Bücher,
- Deutsche Bücher Shades-of-Grey-Belletristik,
- Robert-Kirkman-The-Walking - Dead-Belletristik-Bücher