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ł.

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 125 b
224.46 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

90 épaves à Marseille et dans sa région - 2ème édition Joncheray / Książka Miękka
common.buy 161.40 zł
Nta UGC (Net/Jrf/Set) Shiksha Sastra Paper II Arihant Experts / Książka Miękka
common.buy 486.79 zł
Immer eine Handbreit Wasser unter dem Kiel Reinhard Kluge / Książka Miękka
common.buy 55.44 zł
Was ist Wahrnehmung? Axel Ziemke / Książka Miękka
common.buy 413.85 zł
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Książka Miękka
common.buy 20.98 zł
La bancale Henri Bachelin / Książka Miękka
common.buy 46.28 zł
Elasticidade - Conceitos Gerais Leandro Bertoldo / Książka Miękka
common.buy 52.76 zł
La India Mircea Eliade / Książka Miękka
common.buy 103.99 zł
peinture, poeme en trois chants Le Mierre-A / Książka Miękka
common.buy 71.80 zł
Pugatschow-Aufstand 1773-1775 - Beteiligte und Motive Eike-Christian Kersten / Książka Miękka
common.buy 70.36 zł
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Książka Miękka
common.buy 62.64 zł
Hyperion -- Terra Incognita Hansjörg Bay / Książka Miękka
common.buy 251.41 zł
Picadores Andres Reyes Soto / Książka Miękka
common.buy 69.33 zł
Las grandes religiones para Dummies Paula González Fernández / Książka Miękka
common.buy 90.52 zł
ALFONSO MARÍA DE LIGORIO Roberto Heraldo Bernet / Książka Miękka
common.buy 70.36 zł
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Książka Miękka
common.buy 141.44 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 586.26 zł
GAG: A Practical Compiler Generator U. Kastens / Książka Miękka
common.buy 90.52 zł
Compiler Construction Shriram Krishnamurthi / Książka Miękka
common.buy 224.46 zł
Female Electrocardiogram Pentti M. Rautaharju / Książka Miękka
common.buy 481.43 zł
TOP
Shorter Oxford Textbook of Psychiatry Paul Harrison / Książka Miękka
common.buy 579.27 zł
The Kiwi Conspiracy Chris A Hale / Książka Miękka
common.buy 48.65 zł
Seven Degrees Bryan P T Riley / Książka Miękka
common.buy 48.65 zł
The Bergdahl Exchange: Implications for U.S. National Security and the Fight Against Terrorism Nonproliferat Subcommittee on Terrorism / Książka Miękka
common.buy 72.21 zł
Zapowiedź
CIM Revision Cards: Delivering Customer Value Ray Donnelly / Książka Twarda
common.buy 1 270.99 zł
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Książka Miękka
common.buy 191.75 zł
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Książka Miękka
common.buy 85.68 zł
Good Night Astronauts Adam Gamble / Książka Leporelo
common.buy 36.41 zł
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Książka Miękka
common.buy 29.31 zł
English Mystics Geraldine E. Hodgson / Książka Miękka
common.buy 153.89 zł
TOP
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Książka Miękka
common.buy 46.28 zł
Estrogeneration Anthony G. Jay / Książka Twarda
common.buy 213.35 zł
TOP
V for Vendetta Alan Moore / Książka Miękka
common.buy 77.25 zł
Weather Almanac 2022 Storm Dunlop / Książka Twarda
common.buy 63.87 zł
Wolverine Omnibus Vol. 2 Walt Simonson / Książka Twarda
common.buy 536.37 zł
Mythic World Kerby Rosanes / Książka Miękka
common.buy 47.00 zł
Waiting on Grace Michael Barnes / E-book Adobe ePub DRM
common.buy 339.06 zł
Integrated planning and operation of plating process chains Alexander Tobias Leiden / Książka Miękka
common.buy 145.97 zł
TOP
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Książka Miękka
common.buy 59.04 zł
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Książka Twarda
common.buy 1 061.54 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