Verificar estado da encomenda

Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Hardware and Software: Verification and Testing Kedar Namjoshi

Hardware and Software: Verification and Testing

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Língua

Inglês

Livro Capa mole

Livro Hardware and Software: Verification and Testing Kedar Namjoshi

Código Libristo: 01657444

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, fevereiro 2011

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Descrição completa

Código Libristo: 01657444

?

points

122 b

50.47 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson

/

Capa mole

66.93 €

Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem

/

Capa mole

50.07 €

Segregator A4 Bantex PP XXL 8cm niebieski

/

binding.

2.21 €

A Paranormal Evening With The Moonflower Society Avantasia

/

CD de áudio

86.42 €

Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto

/

Jogo

11.60 €

Je zygota lidskou osobou? Pascal Ide

/

Capa mole

5.54 €

Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic

/

Capa mole

56.94 €

Au dodo, p'tit loup ! Lallemand

/

Livro de capa dura

18.97 €

Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie

/

Livro de capa dura

30.99 €

Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik

/

Jogo

12.61 €

Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau

/

Capa mole

72.89 €

Poemas para barrocos Cristina Daneri Ferrari

/

Capa mole

14.33 €

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

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 Kedar Namjoshi, Andreas Zeller, Avi Ziv

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2011

Número de páginas 169

EAN 9783642192364

ISBN 364219236X

Código Libristo 01657444

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 273

Dimensões 155 x 235 x 15

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

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 > 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

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert

/

Livro de capa dura

45.93 €

Exploring Public-Private Partnerships in Singapore Kim

/

Livro de capa dura

66.93 €

Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing

/

Capa mole

7.26 €

Seven Imperfect Rules of Elvira Carr Frances Maynard

/

Capa mole

10.19 €

Hints to an Inquirer on the Subject of Baptism PARSONS COOKE

/

Capa mole

19.98 €

Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry

/

Capa mole

24.32 €

Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan

/

Capa mole

8.37 €

Dracopedia Field Guide William O'Connor

/

Livro de capa dura

17.86 €

Slumber Party Sparkles Jojo Siwa

/

Capa mole

7.56 €

I Want a Boyfriend! Tony Ross

/

Capa mole

7.26 €

Advanced Mobile Robotics Daeeun Kim

/

Capa mole

71.78 €

The Patchouli in perfumery Le collectif nez

/

Capa mole

17.96 €

Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons

/

Capa mole

10.69 €

Powerless Lauren Roberts

/

Capa mole

7.87 €

Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch

/

Capa mole

18.27 €

Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao

/

Livro de capa dura

180.93 €

Illustrated Encyclopaedic Medical Dictionary Frank Pierce Foster

/

Livro de capa dura

39.07 €

Road to Mound Grove Betty B Cantwell

/

Capa mole

14.02 €

Go Programming Language, The Alan Donovan

/

Capa mole

35.43 €

Combinatory Linguistics Cem Bozsahin

/

Livro de capa dura

128.63 €

Low-Power Crystal and MEMS Oscillators Eric Vittoz

/

Livro de capa dura

189.91 €

The Adhd Effect on Marriage Melissa Orlov

/

Capa mole

14.02 €

Naples and Napoleon John A. Davis

/

Livro de capa dura

204.55 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?