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

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Hardware and Software: Verification and Testing Armin Biere
Código Libristo: 01664050
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Descrição completa
? points 103 b
42.43 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Livro Livro de capa dura
common.buy 14.47 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Livro Capa mole
common.buy 3.53 €
Heilige Maria, Mutter Gottes / Livro Folha
common.buy 3.74 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Livro Capa mole
common.buy 43.24 €
Schody do nebe Lorna Byrneová / Livro Livro de capa dura
common.buy 8.50 €
Philologus / Livro Livro de capa dura
common.buy 94.28 €
Gra Szacho-warcaby 31 / Livro binding.
common.buy 28.25 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-book Adobe ePub DRM
common.buy 6.88 €
Praxeologie der Moderne Gunnar Skirbekk / Livro Capa mole
common.buy 38.38 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Livro Capa mole
common.buy 24.70 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Livro Capa mole
common.buy 6.07 €
Tumeurs malignes rares Jean-Pierre Droz / Livro Livro de capa dura
common.buy 142.80 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Livro Capa mole
common.buy 7.89 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Livro Capa mole
common.buy 12.75 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Livro Capa mole
common.buy 6.88 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Livro Capa mole
common.buy 14.27 €
Odisea / The Odyssey HOMERO / Livro Capa mole
common.buy 11.54 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Livro binding.
common.buy 23.39 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Livro Capa mole
common.buy 19.44 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Livro Livro
common.buy 25.61 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Livro Capa mole
common.buy 11.13 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Livro Capa mole
common.buy 9.41 €
Dalmatien - 1.000 Teile (Puzzle) / Jogo/brinquedo Jogo
common.buy 26.32 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Livro Capa mole
common.buy 13.56 €

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

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 Armin Biere, Amir Nahir, Tanja Vos
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 281
EAN 9783642396106
ISBN 3642396100
Código Libristo 01664050
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 456
Dimensões 155 x 235 x 19

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

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Livro Livro de capa dura
common.buy 99.15 €
Principal
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Livro Livro de capa dura
common.buy 26.83 €
Rethinking Genesis 1-11 Gordon J. Wenham / Livro Livro de capa dura
common.buy 21.26 €
Oxford Primary Illustrated Maths Dictionary / Livro Capa mole
common.buy 9.41 €
Principal
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Livro Livro de capa dura
common.buy 17.01 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Livro Livro de capa dura
common.buy 183.62 €
Draw and Color Your Dragon JOHN SMITH / Livro Capa mole
common.buy 16.50 €
In the Heights LIN-MANUEL MIRANDA / Livro Livro de capa dura
common.buy 24.91 €
Principal
Children of Jocasta Natalie Haynes / Livro Capa mole
common.buy 8.40 €
Rocket Science Alan McFadzean / Livro Capa mole
common.buy 32.10 €
Principal
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Livro Capa mole
common.buy 12.45 €
Donbas Conflict in Ukraine Daria Platonova / Livro Livro de capa dura
common.buy 181.49 €
Life's Edge Carl Zimmer / Livro Capa mole
common.buy 11.64 €
This Is Me (from the Greatest Showman) Justin Paul / Livro Capa mole
common.buy 4.85 €
Of Ancients Unbound T.C. Edge / Livro Capa mole
common.buy 21.46 €
World Literature Klaudia Hiu Yen Lee / Livro Livro de capa dura
common.buy 181.49 €
Dark Waters Jason Wright / E-book Adobe ePub DRM
common.buy 2.83 €
Hypertension and Stroke Venkatesh Aiyagari / Livro Capa mole
common.buy 179.16 €
Dionysius of Halicarnasssus W. Rhys Roberts / Livro Capa mole
common.buy 41.52 €
Beginning Human Rights Law Howard Davis / Livro Capa mole
common.buy 56.81 €
Principal
Basic Economics Thomas Sowell / Livro Livro de capa dura
common.buy 27.03 €
Principal
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Livro Livro de capa dura
common.buy 72.61 €
Cognitive Linguistics EVANS VYVYAN / Livro Livro de capa dura
common.buy 143.51 €
Principal
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Livro Capa mole
common.buy 16.40 €

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