Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Correct Hardware Design and Verification Methods

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Correct Hardware Design and Verification Methods Tiziana Margaria
Código Libristo: 01563746
Editoras Springer, Berlin, novembro 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Descrição completa
? 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

Em breve
Kerberos in the Silver Rain AIKAWA / Livro Capa mole
common.buy 13.01 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Livro Livro
common.buy 14.63 €
La pédagogie Montessori / Livro Capa mole
common.buy 5.14 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Livro Livro de capa dura
common.buy 106.51 €
Zamalowane okna Anna Limanowicz / Livro Livro de capa dura
common.buy 7.66 €
La MLS (Mls) Annie Evearts / Livro Capa mole
common.buy 10.29 €
Begegnung am Donnerstag / Livro Capa mole
common.buy 22.10 €
Mimo wszystko Polak / Audiolivro MP3
common.buy 6.55 €
Pražský chodec proti tankům Jiří Všetečka / Livro Livro
common.buy 6.35 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Livro Capa mole
common.buy 25.03 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Livro Capa mole
common.buy 4.53 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Livro Livro
common.buy 6.25 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Livro Capa mole
common.buy 90.05 €
Regierungskommunikation in Deutschland Jana Heinze / Livro Capa mole
common.buy 59.26 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Livro Capa mole
common.buy 17.36 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Livro Capa mole
common.buy 7.97 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Livro Capa mole
common.buy 34.02 €
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Livro Capa mole
common.buy 24.63 €
Einleitung, UEberlieferung Horst Brunner / Livro Livro de capa dura
common.buy 168.41 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Livro Capa mole
common.buy 50.27 €
108 miradas : del lado de fuera y del lado de dentro / Livro Capa mole
common.buy 24.83 €
Mondjunge Viktoria Weber / Livro Capa mole
common.buy 13.01 €
Les Contours De L'Amour Jean Daniel Francois M D / Livro Capa mole
common.buy 11.80 €
Económico
Zamilované písničky ze 60 let interpreti Různí / Áudio CD de áudio
common.buy 2.92 €

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
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 Tiziana Margaria, Tom Melham
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2001
Número de páginas 488
EAN 9783540425410
ISBN 3540425411
Código Libristo 01563746
Editoras Springer, Berlin
Peso 699
Dimensões 155 x 235 x 25

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
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 > Equipamento informático
Informática & tecnologia da informação > Sistemas operativos
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

Search for Solvency Alfred E. Eckes / Livro Capa mole
common.buy 36.14 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Livro Capa mole
common.buy 23.92 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Livro Capa mole
common.buy 8.77 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Livro Capa mole
common.buy 11.00 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Livro Livro de capa dura
common.buy 96.52 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Livro Livro de capa dura
common.buy 27.76 €
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Livro Livro de capa dura
common.buy 283.01 €
Fallen Series Megan D. Harding / Livro Capa mole
common.buy 13.22 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Livro Capa mole
common.buy 67.24 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Livro Capa mole
common.buy 6.05 €
Principal
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Livro Capa mole
common.buy 8.57 €
Thomas Hardy Annie Macdonell / Livro Capa mole
common.buy 21.19 €
Helena Paderewska Maciej Siekierski / Livro Capa mole
common.buy 23.21 €
Principal
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Livro Livro de capa dura
common.buy 18.97 €
Russian Nuclear Orthodoxy Dmitry Adamsky / Livro Livro de capa dura
common.buy 133.57 €
I See Zoo Animals LAUREN DICK / Livro Capa mole
common.buy 9.28 €
Principal
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Livro Capa mole
common.buy 6.75 €
Mammals of South America Rexford D Lord / Livro Livro de capa dura
common.buy 57.74 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Livro Livro de capa dura
common.buy 16.95 €
Love Lessons Alda Merini / Livro Capa mole
common.buy 22.30 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Livro Livro de capa dura
common.buy 478.48 €
Media Impact Biagi / Livro Capa mole
common.buy 110.15 €
Regulation Theory and Sustainable Development Corinne Gendron / Livro Livro de capa dura
common.buy 203.44 €
Evaluation in Decision Making Naftaly S. Glasman / Livro Livro de capa dura
common.buy 91.67 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?