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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Correct Hardware Design and Verification Methods Paolo Enrico Camurati

Correct Hardware Design and Verification Methods

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Paolo Enrico Camurati

Língua

Inglês

Livro Capa mole

Livro Correct Hardware Design and Verification Methods Paolo Enrico Camurati

Código Libristo: 05274512

Editoras Springer, Berlin, novembro 1994

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Descrição completa

Código Libristo: 05274512

?

points

111 b

45.93 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin

/

Capa mole

13.32 €

ME ENAMORE DE LA VILLANA 3 INORI

/

Livro

8.98 €

Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun

/

Capa mole

41.79 €

Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla

/

Capa mole

28.26 €

MORIARTY EL PATRIOTA 3 TAKEUCHI

/

Livro

8.17 €

Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow

/

Capa mole

39.27 €

Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos

/

Livro de capa dura

15.14 €

Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M

/

Capa mole

17.36 €

La prometida JHANSIR JACKSON PAEZ BLOOM

/

Livro

14.02 €

Boxer and Brandon KIDKIDDOS BOOKS

/

Livro de capa dura

22.20 €

Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer

/

Brinquedo

8.98 €

Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck

/

CD de áudio

10.79 €

La cocina andaluza Guadalquivir arriba Francisco Casas Delgado

/

Capa mole

15.44 €

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

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 Correct Hardware Design and Verification Methods

Autor Paolo Enrico Camurati, Hans Eveking

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1995

Número de páginas 346

EAN 9783540603856

ISBN 3540603859

Código Libristo 05274512

Editoras Springer, Berlin

Peso 478

Dimensões 155 x 233 x 18

Categorias

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

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

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

Numicon: Investigations with Numicon Teaching Book Matthew Mills

/

Encadernação com argola

55.02 €

Puppy Birthday to You! (Paw Patrol) Golden Books

/

Livro de capa dura

3.93 €

Tranquility, Solitude, and Other Poems Karen Lee Oliver

/

Livro de capa dura

25.74 €

Life Under The Jolly Roger Gabriel Kuhn

/

Capa mole

12.81 €

All the Finer Things Stephanie Connelley Worlton

/

Capa mole

11.00 €

Delphinus Anita Marasco Maier

/

Capa mole

7.97 €

Feminist Inquiry M.E. Hawkesworth

/

Capa mole

33.21 €

Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne

/

Capa mole

34.02 €

Foundations of C++/CLI Gordon Hogenson

/

Capa mole

58.25 €

What Is Symmetry in Nature? Bobbie Kalman

/

Livro de capa dura

20.69 €

What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor

/

Capa mole

11.00 €

The Valley's Legends & Legacies IV Catherine Morison Rehart

/

Capa mole

15.64 €

Crooked House Agatha Christie

/

Livro de capa dura

20.79 €

English Verse Edward Leeson

/

CD de áudio

12.21 €

Three Wise Men from the East PATRICK WHITWORTH

/

Livro de capa dura

25.13 €

VCs of the First World War: The Naval VCs Stephen Snelling

/

Capa mole

9.38 €

Area 51 Nick Redfern

/

Capa mole

30.68 €

Carve the Mark 2-Book Paperback Box Set Veronica Roth

/

Capa mole

31.90 €

One Immigrant in a World of Many ANDREA BERM DEZ

/

Capa mole

15.74 €

Oil Palm Jonathan E. Robins

/

Capa mole

32.70 €

Political Theory and South Asian Counter-Narratives Maidul Islam

/

Livro de capa dura

180.93 €

Crazy Quilting for Beginners Handy Pocket Guide Boggon

/

Capa mole

6.65 €

Natural History of Wine Ian Tattersall

/

Adobe ePub DRM

10.19 €

Neurology: A Case-Based Approach

/

Livro de capa dura

110.45 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?