Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer, Berlin, listopad 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Modular Compiler Verification
Autor Markus Müller-Olms
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 260
EAN 9783540634065
ISBN 3540634061
Libristo kód 01566446
Nakladatelství Springer, Berlin
Váha 414
Rozměry 156 x 234 x 14

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Modern Compiler Design Dick Grune / Kniha Pevná
common.buy 3 117 Kč
GAG: A Practical Compiler Generator U. Kastens / Kniha Brožovaná
common.buy 477 Kč
Compiler Construction Shriram Krishnamurthi / Kniha Brožovaná
common.buy 1 182 Kč
Migration in the New Europe A. Gorny / Kniha Brožovaná
common.buy 1 223 Kč
Wolverine Omnibus Vol. 2 Walt Simonson / Kniha Pevná
common.buy 2 788 Kč
Weather Almanac 2022 Storm Dunlop / Kniha Pevná
common.buy 335 Kč
Top
V for Vendetta Alan Moore / Kniha Brožovaná
common.buy 400 Kč
Female Electrocardiogram Pentti M. Rautaharju / Kniha Brožovaná
common.buy 2 533 Kč
Estrogeneration Anthony G. Jay / Kniha Pevná
common.buy 879 Kč
Shorter Oxford Textbook of Psychiatry Paul Harrison / Kniha Brožovaná
common.buy 2 917 Kč
Seven Degrees Bryan P T Riley / Kniha Brožovaná
common.buy 258 Kč
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Kniha Brožovaná
common.buy 242 Kč
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Kniha Brožovaná
common.buy 1 017 Kč
English Mystics Geraldine E. Hodgson / Kniha Brožovaná
common.buy 815 Kč
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Kniha Brožovaná
common.buy 449 Kč
Good Night Astronauts Adam Gamble / Kniha Leporelo
common.buy 191 Kč
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Kniha Brožovaná
common.buy 154 Kč
Mythic World Kerby Rosanes / Kniha Brožovaná
common.buy 244 Kč
Compiler Technology Derek Beng Kee Kiong / Kniha Pevná
common.buy 4 060 Kč
Kohei Uchimura Dan N. Witt / Kniha Brožovaná
common.buy 496 Kč
Build Your Own .NET Language and Compiler Edward G. Nilges / Kniha Brožovaná
common.buy 1 025 Kč
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Kniha Pevná
common.buy 4 835 Kč
Top
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Kniha Brožovaná
common.buy 288 Kč
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Kniha Brožovaná
common.buy 209 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet