Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Modular Compiler Verification Markus Müller-Olms
Libristo kód: 01566446
Nakladateľstvo Springer, Berlin, november 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Celý popis
? points 125 b
51.59 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Liz and the Blue Bird / Video Blu-ray
common.buy 20.59 €
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Kniha Brožovaná
common.buy 4.53 €
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Kniha Brožovaná
common.buy 30.89 €
Elasticidade - Conceitos Gerais Leandro Bertoldo / Kniha Brožovaná
common.buy 11.50 €
peinture, poeme en trois chants Le Mierre-A / Kniha Brožovaná
common.buy 15.64 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Kniha Brožovaná
common.buy 14.43 €
Las grandes religiones para Dummies Paula González Fernández / Kniha Brožovaná
common.buy 20.89 €
La India Mircea Eliade / Kniha Brožovaná
common.buy 23.92 €
Picadores Andres Reyes Soto / Kniha Brožovaná
common.buy 18.37 €
Was ist Wahrnehmung? Axel Ziemke / Kniha Brožovaná
common.buy 84.80 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Modular Compiler Verification
Autor Markus Müller-Olms
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1997
Počet strán 260
EAN 9783540634065
ISBN 3540634061
Libristo kód 01566446
Nakladateľstvo Springer, Berlin
Váha 414
Rozmery 156 x 234 x 14

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Modern Compiler Design Dick Grune / Kniha Pevná
common.buy 128.52 €
GAG: A Practical Compiler Generator U. Kastens / Kniha Brožovaná
common.buy 20.79 €
Compiler Construction Shriram Krishnamurthi / Kniha Brožovaná
common.buy 51.59 €
Migration in the New Europe A. Gorny / Kniha Brožovaná
common.buy 53.20 €
Wolverine Omnibus Vol. 2 Walt Simonson / Kniha Pevná
common.buy 123.17 €
Weather Almanac 2022 Storm Dunlop / Kniha Pevná
common.buy 13.82 €
Top
V for Vendetta Alan Moore / Kniha Brožovaná
common.buy 17.76 €
Female Electrocardiogram Pentti M. Rautaharju / Kniha Brožovaná
common.buy 110.55 €
Estrogeneration Anthony G. Jay / Kniha Pevná
common.buy 38.76 €
Shorter Oxford Textbook of Psychiatry Paul Harrison / Kniha Brožovaná
common.buy 120.35 €
Seven Degrees Bryan P T Riley / Kniha Brožovaná
common.buy 10.59 €
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Kniha Brožovaná
common.buy 9.99 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Kniha Brožovaná
common.buy 44.01 €
English Mystics Geraldine E. Hodgson / Kniha Brožovaná
common.buy 33.61 €
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Kniha Brožovaná
common.buy 19.68 €
Good Night Astronauts Adam Gamble / Kniha Leporelo
common.buy 7.87 €
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Kniha Brožovaná
common.buy 6.35 €
Mythic World Kerby Rosanes / Kniha Brožovaná
common.buy 10.79 €
Compiler Technology Derek Beng Kee Kiong / Kniha Pevná
common.buy 167.40 €
Kohei Uchimura Dan N. Witt / Kniha Brožovaná
common.buy 21.70 €
Build Your Own .NET Language and Compiler Edward G. Nilges / Kniha Brožovaná
common.buy 42.30 €
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Kniha Pevná
common.buy 199.40 €
Top
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Kniha Brožovaná
common.buy 12.71 €
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Kniha Brožovaná
common.buy 8.57 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?