S mantiques Formelles

Name: S mantiques Formelles
Brand: Omniscriptum
SKU: 9786131529955
Price: 16800 HUF
Availability: InStock

Szerző: Sandrine Blazy

Nyelv:

Kötés: Puha kötésű

Kiadó: Omniscriptum

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

16 800 Ft

Ce livre introduit les sémantiques formelles et détaille des exemples d'utilisation pour définir des...

Információk a könyvről

Szerző

Sandrine Blazy

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2018

oldal

132

EAN

9786131529955

ISBN

6131529957

Enbook ID

06888768

Kiadó

Omniscriptum

Súly

204

Méretek

152 x 229 x 8

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

S mantiques Formelles

Információk a könyvről

Teljes leírás

Érdekelheti

D composition Arborescente Des Graphes Planaires Et Routage Compact

Des gènes aux traitements en ophtalmologie

Twisted Tale Disney Un Joyeux Non-Anniversaire

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Sagen der Vorzeit

The Rose of Versailles Pop Up Parade Oscar François de Jarjayes 19 cm

Nočná gazela

Trust me

Smart Grid 3.0

Palestina y el próximo Oriente

La memoria de los peces y otras historias científicas sobre los seres del mar

Atem Meditation

El Camino Real al Peru en la Jurisdiccion de San Miguel de Tucuman

Svět volných koní

Vida de César

Precious Moments: My Christmas Bible Storybook

Understanding Adult Attachment in Family Relationships

Dark Orchard

Political Manhood

I Falsi Miti Degli Adolescenti Ovvero... Il Pensiero Di Un Padre

Reisebriefe aus Mexiko

Wolfgang Tillmans

Personalwesen. Gleitzone - Midijob

Christmas as Religion