Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Sémantiques formelles
Univ Europeenne - EAN : 9786131529955
Édition papier
EAN : 9786131529955
Paru le : 15 sept. 2010
49,00 €
46,45 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131529955
- Réf. fournisseur : 7106801
- Editeur : Univ Europeenne
- Date Parution : 15 sept. 2010
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 132
- Format : H:229 mm L:152 mm E:8 mm
- Poids : 205gr
- Interdit de retour : Retour interdit
- Résumé : 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.
