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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

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 125 b
51.68 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Liz and the Blue Bird / Video Blu-ray
common.buy 20.63 €
Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív / Livre Livre de poche
common.buy 4.95 €
SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca / Livre Livre de poche
common.buy 32.56 €
Elasticidade - Conceitos Gerais Leandro Bertoldo / Livre Livre de poche
common.buy 12.13 €
peinture, poeme en trois chants Le Mierre-A / Livre Livre de poche
common.buy 16.48 €
Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym / Livre Livre de poche
common.buy 14.46 €
Las grandes religiones para Dummies Paula González Fernández / Livre Livre de poche
common.buy 20.93 €
La India Mircea Eliade / Livre Livre de poche
common.buy 23.96 €
Picadores Andres Reyes Soto / Livre Livre de poche
common.buy 19.31 €
Was ist Wahrnehmung? Axel Ziemke / Livre Livre de poche
common.buy 84.96 €

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 pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos 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 134.93 €
GAG: A Practical Compiler Generator U. Kastens / Livre Livre de poche
common.buy 20.83 €
Compiler Construction Shriram Krishnamurthi / Livre Livre de poche
common.buy 51.68 €
Migration in the New Europe A. Gorny / Livre Livre de poche
common.buy 53.30 €
Wolverine Omnibus Vol. 2 Walt Simonson / Livre Livre relié
common.buy 123.40 €
Weather Almanac 2022 Storm Dunlop / Livre Livre relié
common.buy 14.66 €
Top
V for Vendetta Alan Moore / Livre Livre de poche
common.buy 19.41 €
Female Electrocardiogram Pentti M. Rautaharju / Livre Livre de poche
common.buy 110.76 €
Estrogeneration Anthony G. Jay / Livre Livre relié
common.buy 41.46 €
Shorter Oxford Textbook of Psychiatry Paul Harrison / Livre Livre de poche
common.buy 133.32 €
Seven Degrees Bryan P T Riley / Livre Livre de poche
common.buy 11.22 €
Top
Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri / Livre Livre de poche
common.buy 11.72 €
APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN / Livre Livre de poche
common.buy 44.09 €
English Mystics Geraldine E. Hodgson / Livre Livre de poche
common.buy 35.39 €
Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne / Livre Livre de poche
common.buy 19.72 €
Good Night Astronauts Adam Gamble / Livre Livre Concertina
common.buy 8.39 €
Best Recipes From The Siege of Paris 1870 Keith Pepperell / Livre Livre de poche
common.buy 6.77 €
Mythic World Kerby Rosanes / Livre Livre de poche
common.buy 11.22 €
Compiler Technology Derek Beng Kee Kiong / Livre Livre relié
common.buy 175.60 €
Kohei Uchimura Dan N. Witt / Livre Livre de poche
common.buy 22.95 €
Build Your Own .NET Language and Compiler Edward G. Nilges / Livre Livre de poche
common.buy 45.21 €
Diaspora Engagement at a Time of Crisis S Irudaya Rajan / Livre Livre relié
common.buy 209.08 €
I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE / Livre Livre de poche
common.buy 14.25 €
Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák / Livre Livre de poche
common.buy 8.99 €

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 ?