159,44 €
Produit Neuf
Ou 39,86 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
- 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 Theories Of Programming Languages Format Relié - Livre Informatique
0 avis sur Theories Of Programming Languages Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 129,00 €
-
Catafalque
Neuf dès 86,94 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Pierre Bayle
Neuf dès 222,62 €
-
Harald Szeemann
Neuf dès 87,99 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
The Rainbow
Neuf dès 105,43 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Rules, Patterns And Words
Neuf dès 80,00 €
-
Common Sense
Occasion dès 115,00 €
-
Götz Von Berlichingen
2 avis
Occasion dès 85,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
Produits similaires
Présentation Theories Of Programming Languages Format Relié
- Livre Informatique
Résumé :
This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.
Sommaire:
Preface; 1. Predicate Logic; 2. The Simple Imperative Language; 3. Programme Specifications and their Proofs; 4. Arrays; 5. Failure, Input-Output and Continuations; 6. Transition Semantics; 7. Nondeterminism and Guarded Commands; 8. Shared-variable Concurrency; 9. Communicating Sequential Processes; 10. The Lambda Calculus; 11. An Eager Functional Language; 12. Continuations in a Functional Language; 13. Iswim-like Languages; 14. A Normal-order Language; 15. The Simple Type System; 16. Subtypes and Intersection Types; 17. Polymorphism; 18. Module Specification; 19. Algol-like Languages; Appendices; Bibliography; Index.
Détails de conformité du produit
Personne responsable dans l'UE