Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Modular Compiler Verification Markus Müller-Olms

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-Olms

Lingua

Inglese

Libro In brossura

Libro Modular Compiler Verification Markus Müller-Olms

Codice Libristo: 01566446

Casa editrice Springer, Berlin, novembre 1996

This book presents the verified design of a code generator translating a prototypic real-time progra... Descrizione completa

Codice Libristo: 01566446

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Liz and the Blue Bird

/

Blu-ray

21.49 €

Vysoké Tatry - preukaz na pečiatky (zelená obálka) autorov Kolektív

/

In brossura

5.19 €

SPA-COMEDIAS COTEJADAS CON LAS Pedro 1600-1681 Calderon De La Barca

/

In brossura

33.69 €

Elasticidade - Conceitos Gerais Leandro Bertoldo

/

In brossura

12.59 €

peinture, poeme en trois chants Le Mierre-A

/

In brossura

17.09 €

Aufbau und Bedeutung organisatorischer Strukturen in der Eventbranche. Eine kritische Betrachtung Anonym

/

In brossura

15.09 €

Las grandes religiones para Dummies Paula González Fernández

/

In brossura

20.69 €

La India Mircea Eliade

/

In brossura

23.69 €

Picadores Andres Reyes Soto

/

In brossura

19.89 €

Was ist Wahrnehmung? Axel Ziemke

/

In brossura

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Modular Compiler Verification

Autore Markus Müller-Olms

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1997

Numero di pagine 260

EAN 9783540634065

ISBN 3540634061

Codice Libristo 01566446

Casa editrice Springer, Berlin

Peso 414

Dimensioni 156 x 234 x 14

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Modern Compiler Design Dick Grune

/

Rigido

133.29 €

GAG: A Practical Compiler Generator U. Kastens

/

In brossura

21.69 €

Compiler Construction Shriram Krishnamurthi

/

In brossura

53.79 €

Migration in the New Europe A. Gorny

/

In brossura

55.49 €

Wolverine Omnibus Vol. 2 Walt Simonson

/

Rigido

130.19 €

Weather Almanac 2022 Storm Dunlop

/

Rigido

14.49 €

V for Vendetta Alan Moore

/

In brossura

18.79 €

Female Electrocardiogram Pentti M. Rautaharju

/

In brossura

115.59 €

Estrogeneration Anthony G. Jay

/

Rigido

43.59 €

Shorter Oxford Textbook of Psychiatry Paul Harrison

/

In brossura

137.99 €

Seven Degrees Bryan P T Riley

/

In brossura

11.59 €

Saga of Tanya the Evil, Vol. 11 (manga) Emily Balistrieri

/

In brossura

11.19 €

APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN

/

In brossura

45.69 €

English Mystics Geraldine E. Hodgson

/

In brossura

36.69 €

Selections from the Poetical Works of Algernon Charles Swinburne Algernon C. Swinburne

/

In brossura

20.59 €

Good Night Astronauts Adam Gamble

/

Leporello

8.79 €

Best Recipes From The Siege of Paris 1870 Keith Pepperell

/

In brossura

6.99 €

Mythic World Kerby Rosanes

/

In brossura

11.49 €

Compiler Technology Derek Beng Kee Kiong

/

Rigido

173.59 €

Kohei Uchimura Dan N. Witt

/

In brossura

23.89 €

Build Your Own .NET Language and Compiler Edward G. Nilges

/

In brossura

47.39 €

Diaspora Engagement at a Time of Crisis S Irudaya Rajan

/

Rigido

215.89 €

I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE

/

In brossura

14.29 €

Guide to the best wines of the Czech Republic 2015-2016 Ivo Dvořák

/

In brossura

9.39 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?