The Formal Semantics of Programming Languages - Winskel, Glynn
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
108,98 €
Produit Neuf
Ou 27,25 € /mois
- Livraison : 25,00 €
- Livré entre le 23 et le 28 avril
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur The Formal Semantics Of Programming Languages Format Broché - Livre Informatique
0 avis sur The Formal Semantics Of Programming Languages Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Ruven Afanador: Angel Gitano
Occasion dès 115,99 €
-
Logic, Language, And Meaning, Volume 2
Neuf dès 60,11 €
Occasion dès 79,45 €
-
L'Histoire La Vie Et Les Moeurs Et La Curiosité
Occasion dès 99,00 €
-
Das Lyrische Werk
Neuf dès 123,20 €
Occasion dès 77,30 €
-
Key Questions In Cardiac Surgery
Neuf dès 108,15 €
-
Kim Kardashian Selfish
Occasion dès 96,99 €
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
Neuf dès 160,74 €
-
Graham Hill Scrapbook 1929 -1966
Occasion dès 110,00 €
-
Crew Resource Management Training
Neuf dès 85,94 €
Occasion dès 82,99 €
-
Yoga Art
Occasion dès 138,25 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Artemis
Occasion dès 84,29 €
-
The Harvard Book: Selections From Three Centuries, Revised Edition
Neuf dès 79,61 €
-
Murakami: Ego
Neuf dès 146,45 €
-
Rock 'n' Roll Cats (Street Design)
Occasion dès 96,99 €
-
De Lemdr À La Thérapie Mosaic Guérir Sans Douleur Les Traumatismes Psychologiques
Occasion dès 62,50 €
-
Lighthouses Of The World
Occasion dès 55,99 €
-
Eighteenth Century Musical Instruments, France And Britain = Les Instruments De Musique Au Xviiie Siecle, France Et Grande-Bretagne: [Catalo
Occasion dès 55,50 €
-
Hoppel Und Der Osterhase
Occasion dès 70,99 €
-
The Original Sevcik Violin Studies Op.7 Part 1
Occasion dès 80,99 €
Produits similaires
Présentation The Formal Semantics Of Programming Languages Format Broché
- Livre Informatique
Résumé :
Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark....
Sommaire:
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.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 fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel'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 lan guages 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 systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs....
Détails de conformité du produit
Personne responsable dans l'UE