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

Advanced Formal Verification

Língua InglêsInglês
Livro Livro de capa dura
Livro Advanced Formal Verification Rolf Drechsler
Código Libristo: 05256403
Editoras Springer-Verlag New York Inc., janeiro 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Descrição completa
? points 222 b
91.94 €
Armazenamento externo Envio em 10-13 dias

Política de devolução de 30 dias

Os clientes também compraram

Geschichte der Antike Hans-Joachim Gehrke / Livro Livro de capa dura
common.buy 29.46 €
Principal
Běsi Fjodor Michajlovič Dostojevskij / Livro Livro de capa dura
common.buy 17.91 €
Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Livro Capa mole
common.buy 19.03 €
Inner Symphonies Hania Rani / Áudio CD de áudio
common.buy 21.96 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Livro Capa mole
common.buy 17.00 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Livro Capa mole
common.buy 20.85 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Livro Capa mole
common.buy 7.89 €
Existenzweisen Bruno Latour / Livro Capa mole
common.buy 19.84 €
L'Invasion Sicilienne Et Le Peuplement Francais de la Tunisie: Conference Faite, En Mars Et Avril Saurin-J / Livro Capa mole
common.buy 11.64 €

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. §

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 Advanced Formal Verification
Autor Rolf Drechsler
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2004
Número de páginas 250
EAN 9781402077210
ISBN 1402077211
Código Libristo 05256403
Editoras Springer-Verlag New York Inc.
Peso 1260
Dimensões 156 x 234 x 20

Categorias

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos
Tecnologia, Engenharia & Agricultura > Tecnologia & engenharia energética > Engenharia elétrica
Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)
Informática & tecnologia da informação > Programação & engenharia informática > Técnicas de programação
Filosofia & Religião > Filosofia
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

Young Offenders and Open Custody Tove Pettersson / Livro Livro de capa dura
common.buy 204.03 €
DESERT HAMSTER AS PETS JOHN W. LIN / Livro Capa mole
common.buy 9.91 €
Practical Arduino Engineering Harold Timmis / E-book Adobe ePub DRM
common.buy 74.42 €
Taking Your Library Career to the Next Level Holly Hibner / E-book Adobe ePub DRM
common.buy 60.44 €
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Livro Capa mole
common.buy 5.66 €
In the Exchequer of Pleas. Penhallow & Others Versus the Mersey Docks & Harbour Board. (Tried at Westminster, December 5th to 9th, 1859.) Wilde / Livro Capa mole
common.buy 18.82 €
Understanding SALVATION in Plain English Gary Crandall / Livro Capa mole
common.buy 9.81 €
Novissima Bernhard O´Reilly / Livro Capa mole
common.buy 21.36 €
Global Change, Regional Response Barbara Stallings / Livro Capa mole
common.buy 52.04 €
The Book of Stupid Questions Tom Weller / Livro Capa mole
common.buy 14.17 €
Essay on Plantership. Inscribed to Sir George Thomas, Bart. as a Monument to Ancient Friendship. the Seventh Edition, with All the Additions from the Samuel Martin / Livro Capa mole
common.buy 14.67 €
Principles of Wood Science and Technology Franz F.P. Kollmann / Livro Capa mole
common.buy 143.38 €
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Livro Capa mole
common.buy 137.81 €
Em breve
Confidentiality and Mental Health Christopher Cordess / Livro Livro de capa dura
common.buy 75.63 €
See You In Court Thomas Geoghegan / Livro Capa mole
common.buy 18.52 €
Interrupted Time Series Analysis David McDowall / Livro Capa mole
common.buy 22.77 €
France and the Holy Land Daniel H. Weiss / Livro Livro de capa dura
common.buy 56.29 €
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Livro Capa mole
common.buy 91.94 €
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Livro Livro de capa dura
common.buy 7.48 €

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?