Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Език Английски езикАнглийски език
Книга С меки корици
Книга Modular Compiler Verification Markus Müller-Olms
Код Либристо: 01566446
Издателство Springer, Berlin, ноември 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Liz and the Blue Bird / Видео Blu-ray
common.buy 21.80 € 42.63 лв
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Книга С меки корици
common.buy 5.07 € 9.92 лв
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Книга С меки корици
common.buy 32.62 € 63.80 лв
Elasticidade - Conceitos Gerais Leandro Bertoldo / Книга С меки корици
common.buy 12.16 € 23.79 лв
peinture, poeme en trois chants Le Mierre-A / Книга С меки корици
common.buy 16.57 € 32.40 лв
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Книга С меки корици
common.buy 15.27 € 29.87 лв
Las grandes religiones para Dummies Paula González Fernández / Книга С меки корици
common.buy 21.95 € 42.93 лв
La India Mircea Eliade / Книга С меки корици
common.buy 25.16 € 49.21 лв
Picadores Andres Reyes Soto / Книга С меки корици
common.buy 19.31 € 37.77 лв
Was ist Wahrnehmung? Axel Ziemke / Книга С меки корици
common.buy 89.33 € 174.70 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Modular Compiler Verification
Автор Markus Müller-Olms
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 260
Баркод 9783540634065
ISBN 3540634061
Код Либристо 01566446
Издателство Springer, Berlin
Тегло 414
Размери 156 x 234 x 14

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Modern Compiler Design Dick Grune / Книга С твърди корици
common.buy 141.21 € 276.19 лв
GAG: A Practical Compiler Generator U. Kastens / Книга С меки корици
common.buy 21.95 € 42.93 лв
Compiler Construction Shriram Krishnamurthi / Книга С меки корици
common.buy 54.47 € 106.54 лв
Migration in the New Europe A. Gorny / Книга С меки корици
common.buy 56.18 € 109.88 лв
Wolverine Omnibus Vol. 2 Walt Simonson / Книга С твърди корици
common.buy 131.84 € 257.86 лв
Weather Almanac 2022 Storm Dunlop / Книга С твърди корици
common.buy 15.63 € 30.58 лв
Top
V for Vendetta Alan Moore / Книга С меки корици
common.buy 19.05 € 37.26 лв
Female Electrocardiogram Pentti M. Rautaharju / Книга С меки корици
common.buy 117.08 € 228.99 лв
Estrogeneration Anthony G. Jay / Книга С твърди корици
common.buy 41.53 € 81.22 лв
Shorter Oxford Textbook of Psychiatry Paul Harrison / Книга С меки корици
common.buy 139.76 € 273.35 лв
Seven Degrees Bryan P T Riley / Книга С меки корици
common.buy 11.23 € 21.97 лв
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Книга С меки корици
common.buy 10.66 € 20.85 лв
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Книга С меки корици
common.buy 46.24 € 90.44 лв
English Mystics Geraldine E. Hodgson / Книга С меки корици
common.buy 35.47 € 69.37 лв
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Книга С меки корици
common.buy 20.92 € 40.91 лв
Good Night Astronauts Adam Gamble / Книга Дипляна
common.buy 8.38 € 16.40 лв
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Книга С меки корици
common.buy 6.73 € 13.16 лв
Mythic World Kerby Rosanes / Книга С меки корици
common.buy 11.65 € 22.78 лв
Compiler Technology Derek Beng Kee Kiong / Книга С твърди корици
common.buy 183.83 € 359.55 лв
Kohei Uchimura Dan N. Witt / Книга С меки корици
common.buy 22.99 € 44.96 лв
Build Your Own .NET Language and Compiler Edward G. Nilges / Книга С меки корици
common.buy 45.20 € 88.41 лв
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Книга С твърди корици
common.buy 209.36 € 409.48 лв
Top
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Книга С меки корици
common.buy 13.61 € 26.63 лв
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Книга С меки корици
common.buy 9.47 € 18.52 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?