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

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Hardware and Software: Verification and Testing Valeria Bertacco
Código Libristo: 02152556
Editoras Springer International Publishing AG, outubro 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... 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

amore al tempo dei social Karin Anzai Livro Livro
common.buy 6.86 €
August und Elisabeth Macke Anna Luisa Walter / Livro Capa mole
common.buy 27.98 €
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Livro binding.
common.buy 20.60 €
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Livro Capa mole
common.buy 2.92 €
Wanderer zwischen Musik, Politik und Recht Becker / Livro Livro de capa dura
common.buy 103.06 €
Gachiakuta. Крутые отбросы. Том 2 / Livro Livro de capa dura
common.buy 24.65 €
Smradľavý útok Grázlika Gaba Francesca Simon / Livro Capa mole
common.buy 5.35 €
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Livro Capa mole
common.buy 9.19 €
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Livro Capa mole
common.buy 7.87 €
hombre y el zorro Idries Shah / Livro Capa mole
common.buy 7.97 €
Eveliina von Waisin etiaiset Anneli Alatalo / Livro Capa mole
common.buy 21.31 €
Wupp geht um Martina Temming / Livro Capa mole
common.buy 7.97 €
Der Realitätenkellner Werner A. Leeb / Livro Capa mole
common.buy 32.73 €
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Livro Capa mole
common.buy 41.62 €
Tagbuch einer Reise in Inner-Arabien Julius Euting / Livro Capa mole
common.buy 27.58 €

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

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 Valeria Bertacco, Axel Legay
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 366
EAN 9783319030760
ISBN 3319030760
Código Libristo 02152556
Editoras Springer International Publishing AG
Peso 593
Dimensões 155 x 235 x 22

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
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 > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Livro Livro de capa dura
common.buy 137.52 €
Handbook of Power Management Circuits Haruo Kobayashi / Livro Livro de capa dura
common.buy 233.32 €
Biotechnology and the Challenge of Property NWABUEZE / Livro Capa mole
common.buy 69.21 €
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Livro Capa mole
common.buy 18.99 €
Rust + Moth: Winter 2017 Rust and Moth / Livro Capa mole
common.buy 6.46 €
Advances in Power Quality Jeremy Giamatti / Livro Livro de capa dura
common.buy 66.08 €
Get Over Yourself! Jennifer Beckham / Livro Capa mole
common.buy 14.84 €
Protein Translation Eric Jan / Livro Capa mole
common.buy 55.27 €
Methods and Data in English Historical Dialectology Marina Dossena / Livro Capa mole
common.buy 115.29 €
Nginx Essentials Valery Kholodkov / Livro Capa mole
common.buy 34.35 €
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Livro Capa mole
common.buy 46.37 €
Heartwood James Lee Burke / Livro Capa mole
common.buy 10.20 €
Solar Cells and Energy Materials Takeo Oku / Livro Livro de capa dura
common.buy 88.82 €
Physical and Inorganic Chemistry J. Barthel / Livro Capa mole
common.buy 91.75 €
History and Biography T. C. W. BlanningDavid Cannadine / Livro Livro de capa dura
common.buy 109.63 €
Cooking With Healing Mushrooms Stepfanie Romine / E-book Adobe ePub DRM
common.buy 11.41 €

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