Passer au contenu
Mon compte
Wishlist
Panier 00:00
Panier 00:00

Sémantiques formelles

Audience : Adulte - Grand Public
Le Pitch
Ce livre introduit les sémantiques formelles et détaille des exemples d'utilisation pour définir des langages de programmation réalistes et vérifier des propriétés sémantiques de ces langages. Il présente plusieurs styles et plusieurs définitions de sémantiques formelles, puis introduit différentes transformations de programmes, et expose les choix de conception associés. En particulier, ce livre décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes scientifiques. Il détaille également le front-end d'un compilateur modérément optimisant du langage C dédié au logiciel embarqué critique, ayant été formellement vérifié avec l'assistant à la preuve Coq et développé dans le cadre du projet CompCert. Afficher moinsAfficher plus

Sémantiques formelles

49,00 €
Sélectionnez la condition
49,00 €

Le Pitch

Ce livre introduit les sémantiques formelles et détaille des exemples d'utilisation pour définir des langages de programmation réalistes et vérifier des propriétés sémantiques de ces langages. Il présente plusieurs styles et plusieurs définitions de sémantiques formelles, puis introduit différentes transformations de programmes, et expose les choix de conception associés. En particulier, ce livre décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes scientifiques. Il détaille également le front-end d'un compilateur modérément optimisant du langage C dédié au logiciel embarqué critique, ayant été formellement vérifié avec l'assistant à la preuve Coq et développé dans le cadre du projet CompCert. Afficher moinsAfficher plus

Détails du livre

Titre complet
Sémantiques formelles: Vérification formelle de propriétés sémantiques des langages de programmation
Format
Broché
Publication
15 septembre 2010
Audience
Adulte - Grand Public
Pages
132
Taille
22.9 x 15.2 x 0.8 cm
Poids
205
ISBN-13
9786131529955
Livré entre : 30 juillet - 4 août
Disponible chez le fournisseur
Impression à la demande
Expédition immédiate
Chez vous entre :
Les délais de livraison ont tendance à s'accélérer ces dernières semaines, le temps indiqué peut être plus court que prévu. Les délais de livraison ont tendance à s'allonger ces dernières semaines, le temps indiqué peut être plus long que prévu.
Livraison gratuite (FR) à partir de 35,00 € de livres neufs
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés