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

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods for Hardware Verification Marco Bernardo
Código Libristo: 01562083
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Descrição completa
? points 141 b
58.43 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Wohin und Womit Michael Heßhaus / Livro Livro de capa dura
common.buy 42.12 €
Innover avec les acteurs du monde rural Hocdé / Livro Capa mole
common.buy 29.97 €
Alí i Ramboline VALENTI GUBIANAS / Livro Livro de capa dura
common.buy 15.08 €
Ann'es D'Extermination. L'Allemagne Nazie Et Les Juifs (1939-1945)(Les) T2 Pierre-Emmanuel Dauzat / Livro Capa mole
common.buy 15.99 €
Textos de derecho internacional público Bermejo García / Livro Capa mole
common.buy 29.46 €
Simulation de la collaboration Homme - Machine Mustapha Belfahli / Livro Capa mole
common.buy 32.10 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Livro Capa mole
common.buy 24.30 €
Épîtres Maïmonide / Livro Capa mole
common.buy 15.08 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Livro Livro de capa dura
common.buy 15.99 €
Vaillants Soldats Desplantes-F / Livro Capa mole
common.buy 18.02 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Livro Capa mole
common.buy 24.70 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Livro Capa mole
common.buy 25.92 €
Chants du cauchemar et de la nuit Ligotti / Livro Capa mole
common.buy 12.04 €
Principal
L'oracle des échos oniriques Luna Ravenheart / Livro Capa mole
common.buy 29.46 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Livro Capa mole
common.buy 31.49 €
The Autumn Stone Small Faces Áudio CD de áudio
common.buy 23.08 €
(2 ED.) MONTE PERDIDO Y GAVARNIE - MAPAS PIRENAIC Lopez Calleja / Livro Capa mole
common.buy 16.80 €
UNO SIEMPRE CAMBIA AL AMOR DE SU VIDA AMALIA ANDRADE ARANGO / Livro Livro de capa dura
common.buy 15.89 €
Deep Blue Sea 2, 1 Blu-ray Michael Trent / Vídeo Blu-ray
common.buy 14.07 €
Vuosikertomus Werner Aspenström / Livro Capa mole
common.buy 24.91 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Livro Capa mole
common.buy 22.98 €
Unas tardes con Shakespeare Praz / Livro Capa mole
common.buy 20.35 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Livro Capa mole
common.buy 26.83 €
Poeta En Nueva York Federico García Lorca / Livro Capa mole
common.buy 10.62 €

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

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 Formal Methods for Hardware Verification
Autor Marco Bernardo, Alessandro Cimatti
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2006
Número de páginas 244
EAN 9783540343042
ISBN 3540343040
Código Libristo 01562083
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 800
Dimensões 155 x 235 x 17

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
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
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

Case-Based Reasoning Research and Development Lorraine McGinty / Livro Capa mole
common.buy 51.75 €
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Livro Livro de capa dura
common.buy 514.41 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Livro Livro de capa dura
common.buy 51.75 €
Amderesta The 4th Republic #3. The Colonization Daniel Zazitski / Livro Capa mole
common.buy 14.07 €
If I Was Your Hamster Angelia Smith / Livro Capa mole
common.buy 10.12 €
Graffiti and Street Art Konstantinos Avramidis / Livro Capa mole
common.buy 70.08 €
How To Love Yourself 100% Htebooks / Livro Capa mole
common.buy 8.60 €
Echoes and Ashes Terrell Washington Anansi / Livro Capa mole
common.buy 8.60 €
Sentiments of a Long Stemmed Rose: Poetic Reflections from Scenes of My Life Betty W Johnson / Livro Capa mole
common.buy 14.98 €
Comparative Effectiveness of Smoking Cessation Treatments for Patients With Depression: A Systematic Review and Meta-analysis of the Evidence U S Department of Veterans Affairs / Livro Capa mole
common.buy 18.32 €
His Royal Highness the Comte de Paris William Cox / Livro Capa mole
common.buy 11.74 €
Japanese Dolls: The Fascinating World of Ningyo Alan Scott Pate / Livro Livro de capa dura
common.buy 57.11 €
complete work of Rembrandt Wilhelm Von Bode / Livro Capa mole
common.buy 28.55 €
Poetry and Psychoanalysis David Shaddock / Livro Capa mole
common.buy 52.45 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Livro Livro de capa dura
common.buy 33.62 €
Little Owl's Snow Divya Srinivasan / Livro Livro de capa dura
common.buy 15.08 €
In the Ravine & Other Stories Anton Chekhov / Livro Livro de capa dura
common.buy 12.04 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Livro Capa mole
common.buy 17.92 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Livro Capa mole
common.buy 44.05 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Livro Capa mole
common.buy 23.18 €
Leave It to Abigail! Elizabeth Baddeley / Livro Livro de capa dura
common.buy 16.70 €
Man of Honour Tyrone Heydenrych / Livro Capa mole
common.buy 19.23 €
Real Deal Faisal Susiwala / Livro Capa mole
common.buy 15.39 €
Where's Grandma's Keys Nadine Burr / Livro Livro de capa dura
common.buy 27.34 €

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?