Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv S mantiques Formelles Sandrine Blazy

S mantiques Formelles

Szerző: Sandrine Blazy
Nyelv: Francia
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 518 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

D composition Arborescente Des Graphes Planaires Et Routage Compact

Youssou Dieng
16 518 Ft

Twisted Tale Disney Un Joyeux Non-Anniversaire

Liz Braswell
10 013 Ft

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

Veit Weber
10 112 Ft

Nočná gazela

Anne Gudule
1 813 Ft

Personalwesen. Gleitzone - Midijob

Nico Schröbler
5 466 Ft

Reisebriefe aus Mexiko

Eduard Seler
7 773 Ft

Political Manhood

Kevin P Murphy
15 151 Ft

Dark Orchard

William Wright
4 692 Ft

Understanding Adult Attachment in Family Relationships

Geraldine Thomas
77 273 Ft

Precious Moments: My Christmas Bible Storybook

3 639 Ft

Vida de César

PLUTARCO
4 278 Ft

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

JORGE BOLIVAR
8 943 Ft

Smart Grid 3.0

Bhargav Appasani
54 034 Ft