«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Idioma InglésInglés
Libro Tapa blanda
Libro Modular Compiler Verification Markus Müller-Olms
Código Libristo: 01566446
Editores Springer, Berlin, noviembre 1996
This book presents the verified design of a code generator translating a prototypic real-time progra... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

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

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Modular Compiler Verification
Autor Markus Müller-Olms
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1997
Número de páginas 260
EAN 9783540634065
ISBN 3540634061
Código Libristo 01566446
Editores Springer, Berlin
Peso 414
Dimensiones 156 x 234 x 14

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

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

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?