Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Sprache EnglischEnglisch
Buch Broschur
Buch Modular Compiler Verification Markus Müller-Olms
Libristo-Code: 01566446
Verlag Springer, Berlin, November 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Liz and the Blue Bird / Video Blu-ray
common.buy 21.49 €
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Buch Broschur
common.buy 4.99 €
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Buch Broschur
common.buy 33.69 €
Elasticidade - Conceitos Gerais Leandro Bertoldo / Buch Broschur
common.buy 12.59 €
peinture, poeme en trois chants Le Mierre-A / Buch Broschur
common.buy 17.09 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Buch Broschur
common.buy 15.95 €
Las grandes religiones para Dummies Paula González Fernández / Buch Broschur
common.buy 21.69 €
La India Mircea Eliade / Buch Broschur
common.buy 24.79 €
Picadores Andres Reyes Soto / Buch Broschur
common.buy 19.89 €
Was ist Wahrnehmung? Axel Ziemke / Buch Broschur
common.buy 88.19 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Modular Compiler Verification
Autor Markus Müller-Olms
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 260
EAN 9783540634065
ISBN 3540634061
Libristo-Code 01566446
Verlag Springer, Berlin
Gewicht 414
Abmessungen 156 x 234 x 14

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Modern Compiler Design Dick Grune / Buch Hardcover
common.buy 139.39 €
GAG: A Practical Compiler Generator U. Kastens / Buch Broschur
common.buy 21.69 €
Compiler Construction Shriram Krishnamurthi / Buch Broschur
common.buy 53.79 €
Migration in the New Europe A. Gorny / Buch Broschur
common.buy 55.49 €
Wolverine Omnibus Vol. 2 Walt Simonson / Buch Hardcover
common.buy 130.19 €
Weather Almanac 2022 Storm Dunlop / Buch Hardcover
common.buy 15.39 €
Top
V for Vendetta Alan Moore / Buch Broschur
common.buy 18.79 €
Female Electrocardiogram Pentti M. Rautaharju / Buch Broschur
common.buy 115.59 €
Estrogeneration Anthony G. Jay / Buch Hardcover
common.buy 43.59 €
Shorter Oxford Textbook of Psychiatry Paul Harrison / Buch Broschur
common.buy 137.99 €
Seven Degrees Bryan P T Riley / Buch Broschur
common.buy 11.59 €
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Buch Broschur
common.buy 11.19 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Buch Broschur
common.buy 45.69 €
English Mystics Geraldine E. Hodgson / Buch Broschur
common.buy 36.69 €
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Buch Broschur
common.buy 20.59 €
Good Night Astronauts Adam Gamble / Buch Leporello
common.buy 8.79 €
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Buch Broschur
common.buy 6.99 €
Mythic World Kerby Rosanes / Buch Broschur
common.buy 11.49 €
Compiler Technology Derek Beng Kee Kiong / Buch Hardcover
common.buy 181.49 €
Kohei Uchimura Dan N. Witt / Buch Broschur
common.buy 23.89 €
Build Your Own .NET Language and Compiler Edward G. Nilges / Buch Broschur
common.buy 47.39 €
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Buch Hardcover
common.buy 215.89 €
Top
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Buch Broschur
common.buy 14.29 €
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Buch Broschur
common.buy 9.39 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto