S mantiques Formelles

Name: S mantiques Formelles
Brand: Omniscriptum
SKU: 9786131529955
Price: 181.95 PLN
Availability: InStock

Autor: Sandrine Blazy

Język:

Oprawa: Miękka

Wydawca: Omniscriptum

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

181.95 zł

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

Informacje o książce

Autor

Sandrine Blazy

Język

Francuski

Oprawa

Książka - Miękka

Data wydania

2018

strony

132

EAN

9786131529955

ISBN

6131529957

Enbook ID

06888768

Wydawca

Omniscriptum

Waga

204

Wymiary

152 x 229 x 8

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

S mantiques Formelles

Informacje o książce

Pełny opis

Możesz być zainteresowany

D composition Arborescente Des Graphes Planaires Et Routage Compact

Des gènes aux traitements en ophtalmologie

Twisted Tale Disney Un Joyeux Non-Anniversaire

Klienci, którzy kupili tę książkę, kupili również

Sagen der Vorzeit

Precious Moments: My Christmas Bible Storybook

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

Svět volných koní

Vida de César

Nočná gazela

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