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 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Scalable Techniques for Formal Verification

Língua InglêsInglês
Livro Livro de capa dura
Livro Scalable Techniques for Formal Verification Sandip Ray
Código Libristo: 01423877
Editoras Springer-Verlag New York Inc., maio 2010
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... Descrição completa
? points 252 b
104.05 €
Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Até 30 dias para devoluções

Os clientes também compraram

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Livro Capa mole
common.buy 43.13 €
Komplexes Problemloesen Ulrike Kipman / Livro Capa mole
common.buy 35.65 €
Spielplan Simon Golthauer / Livro Livro de capa dura
common.buy 21.11 €
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Livro Capa mole
common.buy 53.74 €
Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Livro Capa mole
common.buy 35.76 €
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Livro Capa mole
common.buy 24.64 €
Stírací mapa Evropy – zlatá Deluxe XL / Artigos impressos Mapa
common.buy 19.79 €
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Livro Capa mole
common.buy 13.53 €
petit cirque du salut. PIERRE HENRI DUBOIS / Livro Capa mole
common.buy 11.31 €
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Livro Capa mole
common.buy 15.75 €
WK 133 Graz u. Umgebung 1:50 000 / Artigos impressos Mapa
common.buy 11.51 €
Fahnenweihe Josef Ruederer / Livro Capa mole
common.buy 6.25 €
Soehne des Herrn Budiwoj August Sperl / Livro Capa mole
common.buy 22.72 €
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Jogo/brinquedo Jogo
common.buy 9.89 €
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Livro Capa mole
common.buy 30.20 €
Allgemeine Untersuchungsmethoden R Strohecker / Livro Capa mole
common.buy 50.10 €
František Pubička S.I. (1722-1807) Jakub Zouhar / Livro Folha
common.buy 15.55 €
Theorien Des Magnetismus Joseph Würschmidt / Livro Capa mole
common.buy 50.10 €
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Livro Capa mole
common.buy 13.53 €
EinFach Deutsch Textausgaben Georg Büchner / Livro Capa mole
common.buy 6.96 €

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

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 Scalable Techniques for Formal Verification
Autor Sandip Ray
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2010
Número de páginas 243
EAN 9781441959973
ISBN 1441959971
Código Libristo 01423877
Editoras Springer-Verlag New York Inc.
Peso 1200
Dimensões 155 x 235 x 25

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes
Tecnologia, Engenharia & Agricultura > Tecnologia: questões gerais > Engenharia: generalidades
Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)
Informática & tecnologia da informação > Tecnologia da informação: generalidades
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

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG / Livro Capa mole
common.buy 63.74 €
Natural History of the West Indies Sterling A. Stoudemire / Livro Capa mole
common.buy 29.79 €
Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA / Livro Capa mole
common.buy 10.60 €
Psychological Testing in the Service of Disability Determination Board on the Health of Select Populations / Livro Capa mole
common.buy 63.74 €
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Livro Capa mole
common.buy 25.96 €
Principal
Legends & Lattes BALDREE TRAVIS / Livro Capa mole
common.buy 12.11 €
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Livro Livro
common.buy 66.77 €
The Superman Years: the Emotional Life of a Parent Caring for a Child with Type 1 Diabetes Linda Rupnow Buzogany MS Lpc / Livro Capa mole
common.buy 12.62 €
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Livro Capa mole
common.buy 5.75 €
V2 Robert Harris / Livro Capa mole
common.buy 10.09 €
Future Religious Policy of America William R. Halstead / Livro Capa mole
common.buy 18.48 €
The DC Book of Pride: A Celebration of DC's Lgbtqia+ Characters DK / Livro Livro de capa dura
common.buy 14.13 €
What You See Cherise Sinclair / Livro Capa mole
common.buy 15.14 €
Sleeping Beauty Jennifer Adams / Livro Livro concertina
common.buy 9.08 €
Renaissance Masterpieces of Art Julia Biggs / Livro Livro de capa dura
common.buy 17.17 €
Culinary Herbs and Spices Magali Chohan / Livro Livro de capa dura
common.buy 123.86 €
Principal
Board Game Design Advice Gabe Barrett / Livro Capa mole
common.buy 17.37 €
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Livro Capa mole
common.buy 12.52 €
Never Always: A Enemies to Lovers Navy SEAL Romance Rachel Robinson / Livro Capa mole
common.buy 11.71 €
Ethics C.D. Broad / Livro Livro de capa dura
common.buy 194.27 €
Three Days in June TYLER ANNE / Livro Livro de capa dura
common.buy 18.28 €
Lectures on the Philosophy of World History Georg Wilhelm Friedrich HegelHugh Barr NisbetDuncan Forbes / Livro Capa mole
common.buy 43.84 €
Media Production, Delivery and Interaction for Platform Independent Systems - Format-Agnostic Media Oliver Schreer / Livro Livro de capa dura
common.buy 97.89 €
Standing Down Falling Up Nita Jackson / Livro Capa mole
common.buy 34.54 €

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?