Synopsis
A 1998 collection of original articles by leading researchers in area of programming languages.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Higher Order Operational Techniques in Semantics
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Ancien ou d'occasion
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur P1-9780521631686
Acheter D'occasion
EUR 105
Expédition à EUR 6,91
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics (Publications of the Newton Institute, Series Number 12)
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521631686
Acheter neuf
EUR 122,58
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Higher Order Operational Techniques in Semantics (Publications of the Newton Institute, Series Number 12)
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521631686_new
Acheter neuf
EUR 115,63
Expédition à EUR 14,10
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge Univ Pr, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 390 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521631688
Acheter neuf
EUR 125,76
Expédition à EUR 14,71
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9780521631686
Acheter neuf
EUR 132,62
Expédition à EUR 21,94
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press CUP, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 400. N° de réf. du vendeur 26261262
Acheter neuf
EUR 164
Expédition à EUR 3,49
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 2011
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces various techniques and treats a variety of higher order lang. N° de réf. du vendeur 446943076
Acheter neuf
EUR 123,95
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Higher Order Operational Techniques in Semantics (Hardcover)
Edité par
Cambridge University Press, Cambridge, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This book contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments reflected by the book is that mathematical structures and techniques used in denotational semantics (such as fixpoint induction) may be recovered from a purely operational starting point. The book surveys and introduces techniques such as contextual equivalence, applicative bisimulation, logical relations, improvement relations, explicit models of memory management, and labelling techniques for confluence properties. It treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped. A collection of articles by researchers in area of programming languages. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521631686
Acheter neuf
EUR 131,47
Expédition à EUR 43,53
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 400 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam. N° de réf. du vendeur 7619409
Acheter neuf
EUR 169,82
Expédition à EUR 7,65
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 400. N° de réf. du vendeur 18261252
Acheter neuf
EUR 170,46
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)