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

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 122 b
50.63 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

The Autumn Stone Small Faces Áudio CD de áudio
common.buy 19.54 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Livro Livro de capa dura
common.buy 14.17 €
Intelektuálové a masy John Carey / Livro Capa mole
common.buy 11.23 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Livro Capa mole
common.buy 22.07 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Livro Capa mole
common.buy 16.50 €
L'oracle des échos oniriques Luna Ravenheart / Livro Capa mole
common.buy 25.61 €
Chants du cauchemar et de la nuit Ligotti / Livro Capa mole
common.buy 10.62 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Livro Capa mole
common.buy 21.87 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Livro Capa mole
common.buy 22.37 €
Innover avec les acteurs du monde rural Hocdé / Livro Capa mole
common.buy 26.02 €
Alí i Ramboline VALENTI GUBIANAS / Livro Livro de capa dura
common.buy 13.36 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Livro Capa mole
common.buy 20.85 €
Grundfragen der Anstiftung. Marios Nikolidakis / Livro Capa mole
common.buy 63.49 €
Wie der König seinen Feind verlor Jorge Bucay / Livro Livro de capa dura
common.buy 11.54 €
Gormenghast. Band 2 Mervyn Peake / Livro Livro de capa dura
common.buy 17.11 €
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Livro Capa mole
common.buy 14.27 €
Finale in Sudafrika Stephanie Howe / Livro Capa mole
common.buy 15.79 €
2984 Utta Kaiser-Plessow / Livro Capa mole
common.buy 9.61 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Livro Capa mole
common.buy 23.69 €
Vaillants Soldats Desplantes-F / Livro Capa mole
common.buy 16.50 €
Poeta En Nueva York Federico García Lorca / Livro Capa mole
common.buy 9.51 €
Unas tardes con Shakespeare Praz / Livro Capa mole
common.buy 18.52 €
Будапэшт Kolozsvári Ildikó / Livro Folha
common.buy 7.28 €
99 Sayfada Tüp Bebek Bülent Gülekli / Livro Capa mole
common.buy 7.38 €

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

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Livro Livro de capa dura
common.buy 458.70 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Livro Livro de capa dura
common.buy 46.07 €
Case-Based Reasoning Research and Development Lorraine McGinty / Livro Capa mole
common.buy 46.07 €
Conquest Andrea Smith / Livro Capa mole
common.buy 22.88 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Livro Livro de capa dura
common.buy 28.65 €
complete work of Rembrandt Wilhelm Von Bode / Livro Capa mole
common.buy 25.21 €
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Livro Capa mole
common.buy 8.80 €
Pippa and Pop Level 1 Activity Book British English Colin Sage / Livro Capa mole
common.buy 8.30 €
Montreal at War, 1914-1918 Terry Copp / Livro Capa mole
common.buy 26.93 €
Echoes and Ashes Terrell Washington Anansi / Livro Capa mole
common.buy 7.28 €
How To Love Yourself 100% Htebooks / Livro Capa mole
common.buy 7.28 €
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Livro Capa mole
common.buy 10.83 €
Graffiti and Street Art Konstantinos Avramidis / Livro Capa mole
common.buy 60.76 €
If I Was Your Hamster Angelia Smith / Livro Capa mole
common.buy 8.60 €
Little Owl's Snow Divya Srinivasan / Livro Livro de capa dura
common.buy 12.24 €
In the Ravine & Other Stories Anton Chekhov / Livro Livro de capa dura
common.buy 10.42 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Livro Capa mole
common.buy 37.57 €
Where's Grandma's Keys Nadine Burr / Livro Livro de capa dura
common.buy 23.49 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Livro Capa mole
common.buy 21.16 €
Leave It to Abigail! Elizabeth Baddeley / Livro Livro de capa dura
common.buy 15.28 €
Real Deal Faisal Susiwala / Livro Capa mole
common.buy 13.06 €
Man of Honour Tyrone Heydenrych / Livro Capa mole
common.buy 16.30 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Livro Capa mole
common.buy 15.59 €
Hunting and Fishing in a Kammu Village Damrong Tayanin / Livro Livro de capa dura
common.buy 30.78 €

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?