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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 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 126 Kč
La bancale Henri Bachelin / Kniha Brožovaná
common.buy 242 Kč
90 épaves à Marseille et dans sa région - 2ème édition Joncheray / Kniha Brožovaná
common.buy 877 Kč
Nta UGC (Net/Jrf/Set) Shiksha Sastra Paper II Arihant Experts / Kniha Brožovaná
common.buy 2 588 Kč
Las grandes religiones para Dummies Paula González Fernández / Kniha Brožovaná
common.buy 502 Kč
Elasticidade - Conceitos Gerais Leandro Bertoldo / Kniha Brožovaná
common.buy 279 Kč
Picadores Andres Reyes Soto / Kniha Brožovaná
common.buy 400 Kč
Was ist Wahrnehmung? Axel Ziemke / Kniha Brožovaná
common.buy 2 304 Kč
Maid-sama. Bd.8 Hiro Fujiwara / Kniha Brožovaná
common.buy 176 Kč
Pugatschow-Aufstand 1773-1775 - Beteiligte und Motive Eike-Christian Kersten / Kniha Brožovaná
common.buy 369 Kč
Hyperion -- Terra Incognita Hansjörg Bay / Kniha Brožovaná
common.buy 1 324 Kč
Immer eine Handbreit Wasser unter dem Kiel Reinhard Kluge / Kniha Brožovaná
common.buy 309 Kč
La India Mircea Eliade / Kniha Brožovaná
common.buy 577 Kč
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Kniha Brožovaná
common.buy 750 Kč
ALFONSO MARÍA DE LIGORIO Roberto Heraldo Bernet / Kniha Brožovaná
common.buy 385 Kč
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Kniha Brožovaná
common.buy 328 Kč
peinture, poeme en trois chants Le Mierre-A / Kniha Brožovaná
common.buy 380 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 010 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 181 Kč
Připravujeme
CIM Revision Cards: Delivering Customer Value Ray Donnelly / Kniha Pevná
common.buy 6 724 Kč
Wolverine Omnibus Vol. 2 Walt Simonson / Kniha Pevná
common.buy 2 776 Kč
Female Electrocardiogram Pentti M. Rautaharju / Kniha Brožovaná
common.buy 2 533 Kč
Weather Almanac 2022 Storm Dunlop / Kniha Pevná
common.buy 342 Kč
Shorter Oxford Textbook of Psychiatry Paul Harrison / Kniha Brožovaná
common.buy 2 937 Kč
Top
V for Vendetta Alan Moore / Kniha Brožovaná
common.buy 407 Kč
The Kiwi Conspiracy Chris A Hale / Kniha Brožovaná
common.buy 258 Kč
Seven Degrees Bryan P T Riley / Kniha Brožovaná
common.buy 258 Kč
The Bergdahl Exchange: Implications for U.S. National Security and the Fight Against Terrorism Nonproliferat Subcommittee on Terrorism / Kniha Brožovaná
common.buy 381 Kč
Myths and Legends of the Sioux Marie L McLaughlin / Kniha Brožovaná
common.buy 158 Kč
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Kniha Brožovaná
common.buy 1 034 Kč
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Kniha Brožovaná
common.buy 242 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č
English Mystics Geraldine E. Hodgson / Kniha Brožovaná
common.buy 815 Kč
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Kniha Brožovaná
common.buy 160 Kč
Russian Simple Language Learning / Kniha Brožovaná
common.buy 291 Kč
Rhodes in the Hellenistic Age Richard M. Berthold / Kniha Pevná
common.buy 1 585 Kč
Compiler Technology Derek Beng Kee Kiong / Kniha Pevná
common.buy 3 897 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 5 651 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?