Practical Foundations for Programming Languages

Harper, Robert

62 évaluations par Goodreads

Langue : anglais

Edité par Cambridge University Press, Cambridge / New York, 2013

1107029570 / 9781107029576

  • Éd. originale
  • Livre relié
  • Occasion
Afficher toutes les informations

Vendeur : Trinders' Fine Tools, Clare, Sudbury, Royaume-UniTrinders' Fine Tools

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 20 août 2002

Livre relié

Etat: Occasion - Comme neuf

EUR 180,79

EUR 12,39 expédition 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

10 1/4" x 7”, xviii, 471 pages, bibliography. Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-defined programs - follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on only elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical. Hb, now dw, as issued, virtually as new.…

N° de réf. du vendeur 007365

Titre
Practical Foundations for Programming Languages
Auteur
Harper, Robert
Éditeur
Cambridge University Press, Cambridge / New York
Année de publication
2013
État de l'article
As New
Jaquette
No Jacket
Reliure
Hardcover
Langue
anglais
ISBN à 10 chiffres
1107029570
ISBN à 13 chiffres
9781107029576
Édition
1st Edition
Impression
1st Printing
Dimensions
4to - over 9¾ - 12" tall

Trinders' Fine Tools

Clare, Sudbury, Royaume-Uni

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 20 août 2002

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article40 à 45 jours ouvrés6 à 9 jours ouvrés
Premier articleEUR 12,39EUR 27,28
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque

Description de la boutique

Peter and Rosemary Trinder are retired PBFA members, and trade on-line from The Loft at Trinders', Malting Lane, Clare, Suffolk, CO10 8NW. In addition to selling a wide variety of uncommon books, they also sell quality designer fashion, clothes and accessories largely from the latter part of the 20th Century; fashion and fashion books are listed at 20thcenturyfashion.co.uk. We also maintain an archive site at trindersfinetools.co.uk, where we list quality tools, particularly Norris and similar infill planes, that we have sold in the past.…

Spécialité

Art reference, Model engineering, Railways, Gardening, Architecture, Horology, Furniture reference, Woodworking and Woodworking tools, Metalworking, Fashion, Costume, Textiles, Jewellery

Profil professionnel du vendeur

Trinders' Fine Tools

Royaume-Uni