Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Langue AnglaisAnglais
Livre Livre de poche
Livre Modular Compiler Verification Markus Müller-Olms
Code Libristo: 01566446
Éditeurs Springer, Berlin, novembre 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

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

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Modular Compiler Verification
Auteur Markus Müller-Olms
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1997
Nombre de pages 260
EAN 9783540634065
ISBN 3540634061
Code Libristo 01566446
Éditeurs Springer, Berlin
Poids 414
Dimensions 156 x 234 x 14

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

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

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?