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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Hardware and Software: Verification and Testing Sharon Barner
Código Libristo: 01657535
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Livro Capa mole
common.buy 42.03 €
Ženich new / Jogo/brinquedo Brinquedo
common.buy 7.77 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Livro Capa mole
common.buy 36.57 €
100 samolepek Tlapková patrola / Livro Capa mole
common.buy 2.72 €
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Livro Capa mole
common.buy 5.45 €
Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.)) / Livro Capa mole
common.buy 28.59 €
Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez / Livro Capa mole
common.buy 12.13 €
One Piece - Law (Nippon Novel) Eiichiro Oda / Livro Capa mole
common.buy 8.07 €
Droit constitutionnel de la Ve République Chabrier Livro Capa mole
common.buy 24.65 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Livro Capa mole
common.buy 14.24 €
Principal
Kerbschnitzen Christian Zeppetzauer / Livro Livro de capa dura
common.buy 16.76 €
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Livro Capa mole
common.buy 29.09 €
Patte de Velours Osiris Brackhaus / Livro Capa mole
common.buy 13.33 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Livro Capa mole
common.buy 7.67 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Artigos impressos Mapa
common.buy 6.05 €
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Livro Capa mole
common.buy 12.72 €
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Livro Capa mole
common.buy 48.60 €
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Livro Capa mole
common.buy 18.99 €
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Livro Capa mole
common.buy 23.54 €
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Livro Capa mole
common.buy 19.80 €
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Livro Capa mole
common.buy 8.07 €

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

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 Hardware and Software: Verification and Testing
Autor Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 197
EAN 9783642195822
ISBN 3642195822
Código Libristo 01657535
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 326
Dimensões 155 x 235 x 12

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas > Testagem e verificação de programas
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 > 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

Immobilized Catalysts Andreas Kirschning / Livro Capa mole
common.buy 274.65 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Livro Capa mole
common.buy 137.52 €
The Problems of Philosophy Bertrand Russell / Livro Capa mole
common.buy 10.10 €
Trans Exploits Jian Neo Chen / Livro Capa mole
common.buy 29.19 €
Call on Me Jenifer C. Gamber / Livro Capa mole
common.buy 15.75 €
Caesars' Wives Annelise Freisenbruch / Livro Capa mole
common.buy 16.87 €
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Livro Capa mole
common.buy 8.07 €
The New Jersey Turnpike Michael Lapolla / Livro Capa mole
common.buy 17.07 €
Shakespeare's 'Whores' K. Stanton / Livro Capa mole
common.buy 74.36 €
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Livro Capa mole
common.buy 14.04 €
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Livro Capa mole
common.buy 12.52 €
Computational Neuroscience Winston Ordazzo / Livro Capa mole
common.buy 43.04 €
Re-figuring the Ramayana as Theology Rao / Livro Capa mole
common.buy 61.73 €
Body in the Casket Katherine Hallpage / Livro Capa mole
common.buy 8.07 €
Lighthouses William John Hardy / Livro Capa mole
common.buy 16.46 €
The Sand Castle of Dreams Tullip Studio / Livro Capa mole
common.buy 12.52 €
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Livro Capa mole
common.buy 22.12 €
Dog Training Smackdown Micah Jack / Livro Capa mole
common.buy 12.72 €
Sloth Bear Luxshmanan Nadaraja / Livro Livro de capa dura
common.buy 33.74 €
That Last Love Letter: Poetry, Photography & Art Doris Jones / Livro Capa mole
common.buy 11.00 €
Mask Making Techniques McClung / Livro Capa mole
common.buy 48.29 €
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Livro Capa mole
common.buy 62.44 €
Principal
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Livro Capa mole
common.buy 18.99 €
Rocky Harbors Jon B. Alterman / Livro Capa mole
common.buy 59.81 €

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