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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

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

132 b

54.41 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

90 épaves à Marseille et dans sa région - 2ème édition Joncheray

/

Capa mole

35.50 €

Nta UGC (Net/Jrf/Set) Shiksha Sastra Paper II Arihant Experts

/

Capa mole

117.13 €

Immer eine Handbreit Wasser unter dem Kiel Reinhard Kluge

/

Capa mole

12.74 €

Was ist Wahrnehmung? Axel Ziemke

/

Capa mole

95.28 €

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

/

Capa mole

5.25 €

La bancale Henri Bachelin

/

Capa mole

10.61 €

Elasticidade - Conceitos Gerais Leandro Bertoldo

/

Capa mole

12.13 €

La India Mircea Eliade

/

Capa mole

22.85 €

peinture, poeme en trois chants Le Mierre-A

/

Capa mole

16.48 €

Pugatschow-Aufstand 1773-1775 - Beteiligte und Motive Eike-Christian Kersten

/

Capa mole

17.09 €

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

/

Capa mole

15.26 €

Hyperion -- Terra Incognita Hansjörg Bay

/

Capa mole

60.99 €

Picadores Andres Reyes Soto

/

Capa mole

17.59 €

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

/

Capa mole

19.92 €

ALFONSO MARÍA DE LIGORIO Roberto Heraldo Bernet

/

Capa mole

15.26 €

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

/

Capa mole

32.56 €

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

134.93 €

GAG: A Practical Compiler Generator U. Kastens

/

Capa mole

21.94 €

Compiler Construction Shriram Krishnamurthi

/

Capa mole

54.41 €

Female Electrocardiogram Pentti M. Rautaharju

/

Capa mole

116.93 €

Shorter Oxford Textbook of Psychiatry Paul Harrison

/

Capa mole

133.32 €

The Kiwi Conspiracy Chris A Hale

/

Capa mole

11.22 €

Seven Degrees Bryan P T Riley

/

Capa mole

11.22 €

The Bergdahl Exchange: Implications for U.S. National Security and the Fight Against Terrorism Nonproliferat Subcommittee on Terrorism

/

Capa mole

16.58 €

CIM Revision Cards: Delivering Customer Value Ray Donnelly

/

Livro de capa dura

307.20 €

APPLYING UML & PATTERNS 3RD EDITION CRAIG LARMAN

/

Capa mole

46.22 €

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

/

Capa mole

20.83 €

Good Night Astronauts Adam Gamble

/

Livro concertina

8.39 €

Best Recipes From The Siege of Paris 1870 Keith Pepperell

/

Capa mole

6.77 €

English Mystics Geraldine E. Hodgson

/

Capa mole

35.39 €

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

/

Capa mole

10.61 €

Estrogeneration Anthony G. Jay

/

Livro de capa dura

51.78 €

V for Vendetta Alan Moore

/

Capa mole

19.01 €

Weather Almanac 2022 Storm Dunlop

/

Livro de capa dura

14.76 €

Wolverine Omnibus Vol. 2 Walt Simonson

/

Livro de capa dura

131.70 €

Mythic World Kerby Rosanes

/

Capa mole

11.52 €

Waiting on Grace Michael Barnes

/

Adobe ePub DRM

77.98 €

Integrated planning and operation of plating process chains Alexander Tobias Leiden

/

Capa mole

33.57 €

I GAVE YOU EYES & YOU LOOKED TOWARD DARK SOLA IRENE

/

Capa mole

13.54 €

Diaspora Engagement at a Time of Crisis S Irudaya Rajan

/

Livro de capa dura

244.39 €