Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Modular Compiler Verification Markus Müller-Olms

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Markus Müller-Olms

Língua

Inglês

Livro Capa mole

Livro Modular Compiler Verification Markus Müller-Olms

Código Libristo: 01566446

Editoras Springer, Berlin, novembro 1996

This book presents the verified design of a code generator translating a prototypic real-time progra... Descrição completa

Código Libristo: 01566446

?

points

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Liz and the Blue Bird

/

Blu-ray

18.32 €

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

/

Capa mole

4.35 €

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

/

Capa mole

27.84 €

Elasticidade - Conceitos Gerais Leandro Bertoldo

/

Capa mole

10.32 €

peinture, poeme en trois chants Le Mierre-A

/

Capa mole

14.07 €

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

/

Capa mole

12.75 €

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

/

Capa mole

17.11 €

La India Mircea Eliade

/

Capa mole

19.54 €

Picadores Andres Reyes Soto

/

Capa mole

16.60 €

Was ist Wahrnehmung? Axel Ziemke

/

Capa mole

72.51 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Modular Compiler Verification

Autor Markus Müller-Olms

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1997

Número de páginas 260

EAN 9783540634065

ISBN 3540634061

Código Libristo 01566446

Editoras Springer, Berlin

Peso 414

Dimensões 156 x 234 x 14

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Modern Compiler Design Dick Grune

/

Livro de capa dura

116.77 €

GAG: A Practical Compiler Generator U. Kastens

/

Capa mole

18.52 €

Compiler Construction Shriram Krishnamurthi

/

Capa mole

46.07 €

Migration in the New Europe A. Gorny

/

Capa mole

47.80 €

Wolverine Omnibus Vol. 2 Walt Simonson

/

Livro de capa dura

107.15 €

Weather Almanac 2022 Storm Dunlop

/

Livro de capa dura

12.04 €

V for Vendetta Alan Moore

/

Capa mole

15.28 €

Female Electrocardiogram Pentti M. Rautaharju

/

Capa mole

98.64 €

Estrogeneration Anthony G. Jay

/

Livro de capa dura

33.72 €

Shorter Oxford Textbook of Psychiatry Paul Harrison

/

Capa mole

114.34 €

Seven Degrees Bryan P T Riley

/

Capa mole

9.51 €

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

/

Capa mole

8.60 €

APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN

/

Capa mole

40.00 €

English Mystics Geraldine E. Hodgson

/

Capa mole

30.27 €

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

/

Capa mole

17.41 €

Good Night Astronauts Adam Gamble

/

Livro concertina

6.78 €

Best Recipes From The Siege of Paris 1870 Keith Pepperell

/

Capa mole

5.66 €

Mythic World Kerby Rosanes

/

Capa mole

9.31 €

Compiler Technology Derek Beng Kee Kiong

/

Livro de capa dura

152.12 €

Kohei Uchimura Dan N. Witt

/

Capa mole

19.33 €

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

/

Capa mole

36.76 €

Diaspora Engagement at a Time of Crisis S Irudaya Rajan

/

Livro de capa dura

181.49 €

I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE

/

Capa mole

11.03 €

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

/

Capa mole

8.09 €