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 Practical Formal Methods for Hardware Design Werner Damm

Practical Formal Methods for Hardware Design

Carlos Delgado Kloos

Língua

Inglês

Livro Capa mole

Livro Practical Formal Methods for Hardware Design Werner Damm

Código Libristo: 06809562

Editoras Springer, Berlin, novembro 2012

Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Descrição completa

Código Libristo: 06809562

?

points

122 b

50.52 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt

/

Capa mole

10.20 €

Buchstaben schreiben lernen und üben

/

Capa mole

6.46 €

Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch

/

Capa mole

15.86 €

Les métiers des technologies de l'information GINIES

/

Capa mole

17.88 €

Apprendre à comprendre dès l'école maternelle GFEN

/

Capa mole

15.96 €

Giù la maschera Erika Torre

/

Capa mole

11.31 €

La aventura de los números 2 Díez Torío Ana María

/

Capa mole

8.48 €

LA LÓGICA DE HEGEL EDGAR MARAGUAT

/

Capa mole

16.36 €

Manual Washington de medicina interna hospitalaria Thomas Ciesielski

/

Capa mole

62.04 €

Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre

/

Capa mole

22.93 €

Asci-Mi David Sarramia

/

Capa mole

83.06 €

Dissexualitat im Lebenslangsschnitt Klaus M. Beier

/

Capa mole

64.36 €

Mittsommernachtstexte Kurt Lehmkuhl

/

Livro de capa dura

15.15 €

Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek

/

Livro de capa dura

71.13 €

Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri

/

Livro de capa dura

62.04 €

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus. The results of experimental tests of the tools are also presented.

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 Practical Formal Methods for Hardware Design

Autor Werner Damm, Carlos Delgado Kloos

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2012

Número de páginas 293

EAN 9783540620075

ISBN 3540620079

Código Libristo 06809562

Editoras Springer, Berlin

Peso 469

Dimensões 155 x 235 x 16

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

Informática & tecnologia da informação > Bases de dados > Bases de dados distribuídas

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

Informática & tecnologia da informação > Gestão de redes & comunicação informática

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

Practical Remote Pair Programming Adrian Bolboaca

/

Capa mole

29.50 €

First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens

/

Livro concertina

7.57 €

Quantities For Generalized Dosimetry Of Ionizing Radiations in Liquid Water D. E. Watt

/

Livro de capa dura

431.89 €

Russia and the Cult of State Security Julie Fedor

/

Capa mole

60.62 €

Moral Force Chartism. Colin Skelly

/

Capa mole

67.29 €

Malaria Immunopathology Maritza Jaramillo

/

Capa mole

58.10 €

Educating Adolescents Around the Globe Meike Watzlawik

/

Capa mole

91.75 €

Popular History of England. Charles Knight

/

Capa mole

26.16 €

Aus Der Paulskirche. Berichte an Den Schwabischen Merkur Aus Den Jahren 1848 Und 1849 ... Herausgegeben Von H. R. Schafer. H Schaefer

/

Capa mole

18.08 €

Prosperity The Fruit of Challenge Paul Ottley

/

Livro de capa dura

28.28 €

Winnie-The-Pooh A. A. Milne

/

Capa mole

6.26 €

Splendor of Faith Avery Dulles

/

Capa mole

25.35 €

The Aviation History of Greater Riverside Marge Bitetti

/

Capa mole

15.15 €

Transforming Your Business with AWS - Getting the Most Out of Using AWS to Modernize and Innovate Your Digital Services Philippe Abdoulaye

/

Capa mole

24.75 €

The Pecos Trail Edward Love Johnson

/

Capa mole

7.97 €

If I Can Move Mountains, I Can Move Rainbows Shirley M Richards

/

Capa mole

8.78 €

Sorrento Travel Guide: What to Do & Where to Go Gillian Russell

/

Capa mole

7.16 €

Love and Hate: Love N Hate Marty J

/

Capa mole

12.62 €

Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly

/

Capa mole

12.62 €

Advanced Green Materials Shakeel Ahmed

/

Capa mole

249.19 €

Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch

/

Livro de capa dura

183.20 €

Phenomenological Inquiry in Psychology Ron Valle

/

Livro de capa dura

178.45 €

Multiple Bonds between Metal Atoms Frank A. Cotton

/

Livro de capa dura

259.39 €

Elements of Hypermedia Design: Techniques for Navigation and Visualization in Cyberspace Peter Gloor

/

Capa mole

45.97 €