Concepts et sémantique des langages de programmation 1
eBook - PDF

Concepts et sémantique des langages de programmation 1

  1. French
  2. PDF
  3. Disponible sur iOS et Android
eBook - PDF

Concepts et sémantique des langages de programmation 1

À propos de ce livre

Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le codage.Ce volume est dédié aux traits fonctionnels et impératifs. Il étudie formellement les sémantiques de typage et d'exécution, facilitant leur acquisition par leur implantation en OCaml et Python et par des exercices corrigés. La représentation des données est traitée en détail: types construits, filtrage, boutisme, pointeurs, gestion de la mémoire, etc., avec des exemples en OCaml, C et C++.Concepts et sémantique des langages de programmation 1s'adresse aux étudiants et enseignants des cursus informatiques ainsi qu'aux programmeurs chevronnés, qui y trouveront un guide de lecture des manuels de référence ainsi que les fondements de la vérification de programmes.

Foire aux questions

Oui, vous pouvez résilier à tout moment à partir de l'onglet Abonnement dans les paramètres de votre compte sur le site Web de Perlego. Votre abonnement restera actif jusqu'à la fin de votre période de facturation actuelle. Découvrez comment résilier votre abonnement.
Non, les livres ne peuvent pas être téléchargés sous forme de fichiers externes, tels que des PDF, pour être utilisés en dehors de Perlego. Cependant, vous pouvez télécharger des livres dans l'application Perlego pour les lire hors ligne sur votre téléphone portable ou votre tablette. Découvrez-en plus ici.
Perlego propose deux abonnements : Essentiel et Complet
  • Essentiel est idéal pour les étudiants et les professionnels qui aiment explorer un large éventail de sujets. Accédez à la bibliothèque Essentiel comprenant plus de 800 000 titres de référence et best-sellers dans les domaines du commerce, du développement personnel et des sciences humaines. Il comprend un temps de lecture illimité et la voix standard de la fonction Écouter.
  • Complet est parfait pour les étudiants avancés et les chercheurs qui ont besoin d'un accès complet et illimité. Accédez à plus de 1,4 million de livres sur des centaines de sujets, y compris des titres académiques et spécialisés. L'abonnement Complet comprend également des fonctionnalités avancées telles que la fonction Écouter Premium et l'Assistant de recherche.
Les deux abonnements sont disponibles avec des cycles de facturation mensuels, semestriels ou annuels.
Nous sommes un service d'abonnement à des ouvrages universitaires en ligne, où vous pouvez accéder à toute une bibliothèque pour un prix inférieur à celui d'un seul livre par mois. Avec plus d'un million de livres sur plus de 1 000 sujets, nous avons ce qu'il vous faut ! Découvrez-en plus ici.
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l'écouter. L'outil Écouter lit le texte à haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l'accélérer ou le ralentir. Découvrez-en plus ici.
Oui ! Vous pouvez utiliser l'application Perlego sur les appareils iOS ou Android pour lire à tout moment, n'importe où, même hors ligne. Parfait pour les trajets quotidiens ou lorsque vous êtes en déplacement.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sur iOS 13 et Android 7 ou versions antérieures. En savoir plus sur l'utilisation de l'application.
Oui, vous pouvez accéder à Concepts et sémantique des langages de programmation 1 par Hardin Thérèse,Jaume Mathieu,Pessaux Francois en format PDF et/ou ePUB ainsi qu'à d'autres livres populaires dans Informatique et Sciences générales de l'informatique. Nous disposons de plus d'un million d'ouvrages à découvrir dans notre catalogue.

Informations

Éditeur
ISTE Éditions
Année
2020
Imprimer l'ISBN
9781784057015
ISBN de l'eBook
9781784067014
Sujet
Informatique
Sujet
Sciences générales de l'informatique

Table des matières

  1. Front cover
  2. Table des matières
  3. Préface
  4. Avant-propos
  5. Chapitre 1
  6. Chapitre 2
  7. Chapitre 3
  8. Chapitre 4
  9. Chapitre 5
  10. Chapitre 6
  11. Chapitre 7
  12. Chapitre 8
  13. Conclusion
  14. Annexe
  15. Liste des notations
  16. Liste des implantationsdes sémantiques
  17. Bibliographie
  18. Index
  19. Sommaire
  20. Back Cover