Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

S mantiques Formelles

Name: S mantiques Formelles
Brand: Omniscriptum
SKU: 06888768
Price: 43.92 EUR
Availability: InStock
Author: Sandrine Blazy
ISBN: 9786131529955

Sandrine Blazy

Language

French

Book Paperback

Libristo code: 06888768

Publishers Omniscriptum, February 2018

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

Libristo code: 06888768

106 b

43.92 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Sagen der Vorzeit Veit Weber

Paperback

26.87 €

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

Toy

67.86 €

Nočná gazela Anne Gudule

Hardback

5.27 €

Trust me E. Krispy

Paperback

16.73 €

Smart Grid 3.0 Bhargav Appasani

Paperback

144.46 €

Palestina y el próximo Oriente Oscar Monterde Mateo

Adobe ePub DRM

9.93 €

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

Paperback

25.96 €

Atem Meditation Robert Stargalla

Audio CD

11.05 €

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

Adobe ePub DRM

6.08 €

Svět volných koní Tomáš Míček

Hardback

48.79 €

Vida de César PLUTARCO

Paperback

12.37 €

Precious Moments: My Christmas Bible Storybook

Board book

9.73 €

Understanding Adult Attachment in Family Relationships Geraldine Thomas

Hardback

245.10 €

Dark Orchard William Wright

Paperback

12.57 €

Political Manhood Kevin P Murphy

Paperback

41.38 €

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

Paperback

8.92 €

Reisebriefe aus Mexiko Eduard Seler

Paperback

20.58 €

Wolfgang Tillmans Alex Needham

Paperback

19.27 €

Personalwesen. Gleitzone - Midijob Nico Schröbler

Paperback

14.50 €

Christmas as Religion Christopher Deacy

Hardback

82.06 €

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.