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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Język AngielskiAngielski
Książka Miękka
Książka Modular Compiler Verification Markus Müller-Olms
Kod Libristo: 01566446
Wydawnictwo Springer, Berlin, listopad 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
248.35 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 11-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Liz and the Blue Bird / Wideo Blu-ray
common.buy 87.64 zł
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Książka Miękka
common.buy 21.22 zł
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Książka Miękka
common.buy 138.36 zł
Elasticidade - Conceitos Gerais Leandro Bertoldo / Książka Miękka
common.buy 51.61 zł
peinture, poeme en trois chants Le Mierre-A / Książka Miękka
common.buy 70.23 zł
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Książka Miękka
common.buy 61.28 zł
Las grandes religiones para Dummies Paula González Fernández / Książka Miękka
common.buy 89.05 zł
La India Mircea Eliade / Książka Miękka
common.buy 102.03 zł
Picadores Andres Reyes Soto / Książka Miękka
common.buy 82.01 zł
Was ist Wahrnehmung? Axel Ziemke / Książka Miękka
common.buy 361.36 zł

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.

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 Modular Compiler Verification
Autor Markus Müller-Olms
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 260
EAN 9783540634065
ISBN 3540634061
Kod Libristo 01566446
Wydawnictwo Springer, Berlin
Waga 414
Wymiary 156 x 234 x 14

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Modern Compiler Design Dick Grune / Książka Twarda
common.buy 573.19 zł
GAG: A Practical Compiler Generator U. Kastens / Książka Miękka
common.buy 115.62 zł
Compiler Construction Shriram Krishnamurthi / Książka Miękka
common.buy 248.35 zł
Migration in the New Europe A. Gorny / Książka Miękka
common.buy 248.35 zł
Wolverine Omnibus Vol. 2 Walt Simonson / Książka Twarda
common.buy 524.69 zł
Weather Almanac 2022 Storm Dunlop / Książka Twarda
common.buy 62.48 zł
TOP
V for Vendetta Alan Moore / Książka Miękka
common.buy 82.71 zł
Female Electrocardiogram Pentti M. Rautaharju / Książka Miękka
common.buy 535.25 zł
Estrogeneration Anthony G. Jay / Książka Twarda
common.buy 176.30 zł
Shorter Oxford Textbook of Psychiatry Paul Harrison / Książka Miękka
common.buy 566.45 zł
Seven Degrees Bryan P T Riley / Książka Miękka
common.buy 47.59 zł
TOP
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Książka Miękka
common.buy 57.05 zł
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Książka Miękka
common.buy 191.29 zł
English Mystics Geraldine E. Hodgson / Książka Miękka
common.buy 150.54 zł
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Książka Miękka
common.buy 97.30 zł
Good Night Astronauts Adam Gamble / Książka Leporelo
common.buy 35.61 zł
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Książka Miękka
common.buy 28.67 zł
Mythic World Kerby Rosanes / Książka Miękka
common.buy 47.59 zł
Compiler Technology Derek Beng Kee Kiong / Książka Twarda
common.buy 746.48 zł
Kohei Uchimura Dan N. Witt / Książka Miękka
common.buy 87.14 zł
Build Your Own .NET Language and Compiler Edward G. Nilges / Książka Miękka
common.buy 192.00 zł
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Książka Twarda
common.buy 888.67 zł
TOP
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Książka Miękka
common.buy 57.75 zł
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Książka Miękka
common.buy 38.13 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?