Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

S mantiques Formelles

Język FrancuskiFrancuski
Książka Miękka
Książka S mantiques Formelles Sandrine Blazy
Kod Libristo: 06888768
Wydawnictwo Omniscriptum, luty 2018
Ce livre introduit les sémantiques formelles et détaille des exemples d'utilisation pour définir des... Cały opis
? points 106 b
189.32 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Sagen der Vorzeit Veit Weber / Książka Miękka
common.buy 115.86 zł
TOP Zapowiedź
The Rose of Versailles Pop Up Parade Oscar François de Jarjayes 19 cm Gra/Zabawka Zabawka
common.buy 292.89 zł
Nočná gazela Anne Gudule / Książka Twarda
common.buy 22.73 zł
Trust me E. Krispy / Książka Miękka
common.buy 72.22 zł
Smart Grid 3.0 Bhargav Appasani / Książka Miękka
common.buy 623.40 zł
Palestina y el próximo Oriente Oscar Monterde Mateo / E-book Adobe ePub DRM
common.buy 42.71 zł
La memoria de los peces y otras historias científicas sobre los seres del mar JORGE BOLIVAR / Książka Miękka
common.buy 101.01 zł
Atem Meditation Robert Stargalla / Audio CD Audio
common.buy 59.51 zł
El Camino Real al Peru en la Jurisdiccion de San Miguel de Tucuman Jesus Miguel Martinez Torres / E-book Adobe ePub DRM
common.buy 26.11 zł
Svět volných koní Tomáš Míček / Książka Twarda
common.buy 217.08 zł
Vida de César PLUTARCO / Książka Miękka
common.buy 48.14 zł
Precious Moments: My Christmas Bible Storybook / Książka Leporelo
common.buy 41.79 zł
Understanding Adult Attachment in Family Relationships Geraldine Thomas / Książka Twarda
common.buy 904.72 zł
Dark Orchard William Wright / Książka Miękka
common.buy 54.19 zł
Political Manhood Kevin P Murphy / Książka Miękka
common.buy 178.46 zł
I Falsi Miti Degli Adolescenti Ovvero... Il Pensiero Di Un Padre Salvatore Ardita / Książka Miękka
common.buy 38.41 zł
Reisebriefe aus Mexiko Eduard Seler / Książka Miękka
common.buy 89.02 zł
TOP
Wolfgang Tillmans Alex Needham / Książka Miękka
common.buy 84.41 zł
Personalwesen. Gleitzone - Midijob Nico Schröbler / Książka Miękka
common.buy 62.59 zł
Christmas as Religion Christopher Deacy / Książka Twarda
common.buy 353.85 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa S mantiques Formelles
Autor Sandrine Blazy
Język Francuski
Oprawa Książka - Miękka
Data wydania 2018
Liczba stron 132
EAN 9786131529955
ISBN 6131529957
Kod Libristo 06888768
Wydawnictwo Omniscriptum
Waga 204
Wymiary 152 x 229 x 8

Kategoria

Biografia, literatura i literaturoznawstwo > Literaturoznawstwo i krytyka literacka > Literaturoznawstwo
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

D composition Arborescente Des Graphes Planaires Et Routage Compact Youssou Dieng / Książka Miękka
common.buy 189.32 zł
Des gènes aux traitements en ophtalmologie Société Française d'Ophtalmologie (SFO) / Książka Miękka
common.buy 1 511.13 zł
Twisted Tale Disney Un Joyeux Non-Anniversaire Liz Braswell / Książka Miękka
common.buy 124.47 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?