Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

S mantiques Formelles

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

Sandrine Blazy

Sprache

Französisch

Buch Broschur

Libristo-Code: 06888768

Verlag Omniscriptum, Februar 2018

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

Libristo-Code: 06888768

112 b

45.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Sagen der Vorzeit Veit Weber

Broschur

29.90 €

Precious Moments: My Christmas Bible Storybook

Leporello

10.09 €

Smart Grid 3.0 Bhargav Appasani

Broschur

150.19 €

Palestina y el próximo Oriente Oscar Monterde Mateo

Adobe ePub DRM

10.29 €

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

Broschur

26.89 €

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

Hardcover

55.69 €

Vida de César PLUTARCO

Broschur

12.89 €

Nočná gazela Anne Gudule

Hardcover

5.69 €

Understanding Adult Attachment in Family Relationships Geraldine Thomas

Hardcover

215.89 €

Dark Orchard William Wright

Broschur

12.99 €

Political Manhood Kevin P Murphy

Broschur

42.39 €

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

Broschur

9.19 €

Reisebriefe aus Mexiko Eduard Seler

Broschur

22.90 €

Wolfgang Tillmans Alex Needham

Broschur

20.39 €

Personalwesen. Gleitzone - Midijob Nico Schröbler

Broschur

15.99 €

Christmas as Religion Christopher Deacy

Hardcover

75.69 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name S mantiques Formelles

Autor Sandrine Blazy

Sprache

Französisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 132

EAN 9786131529955

ISBN 6131529957

Libristo-Code 06888768

Verlag Omniscriptum

Gewicht 204

Abmessungen 152 x 229 x 8

Kategorie

Biografien, Literatur, Literaturwissenschaft > Literatur: Geschichte und Kritik > Literaturwissenschaft, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert