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

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Hardware and Software: Verification and Testing Nir Piterman
Código Libristo: 09925334
Editoras Springer International Publishing AG, outubro 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Descrição completa
? points 107 b
44.25 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Livro Capa mole
common.buy 15.59 €
Sticker-Anziehpuppen Ballerina Eva Schindler / Livro Capa mole
common.buy 7.08 €
Skopje / Livro Capa mole
common.buy 10.42 €
Slor Eivor / Áudio CD de áudio
common.buy 17.01 €
Porsche Speedster, m. 1 DVD Philipp Novak / Livro Livro de capa dura
common.buy 14.78 €
40 Baby Meilenstein-Karten für das 1. Lebensjahr für Mädchen und Junge. Baby Milestone Cards deutsch, zur Erinnerung der Entwicklung der ersten Monate Sophie Heisenberg / Livro Capa mole
common.buy 7.89 €

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.

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 Nir Piterman
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 293
EAN 9783319262864
ISBN 3319262866
Código Libristo 09925334
Editoras Springer International Publishing AG
Peso 4745
Dimensões 155 x 235 x 15

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

Principal
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / Livro Capa mole
common.buy 12.85 €
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Livro Capa mole
common.buy 26.42 €
Principal
Mine Till Midnight Lisa Kleypas / Livro Capa mole
common.buy 7.08 €
The Gift Richard Paul Evans / Áudio CD de áudio
common.buy 13.56 €
Designing Bots: Creating Conversational Experiences Amir Shevat / Livro Capa mole
common.buy 21.77 €
Principal
Hacker's Delight Henry Warren / Livro Livro de capa dura
common.buy 46.88 €
Oxford First Dictionary Oxford Dictionaries / Livro Livro de capa dura
common.buy 16.09 €
Florentine and the Treasures of the Snow Herb Stine / Livro Capa mole
common.buy 9.00 €
Little Children's Pirate Activity Book Rebecca Gilpin / Livro Capa mole
common.buy 9.92 €
Wheat Belly (Revised and Expanded Edition) William Davis / Livro Capa mole
common.buy 12.85 €
Chaos Dan Piepenbring / Livro Capa mole
common.buy 9.00 €
Principal
Monster in His Eyes J M Darhower / Livro Capa mole
common.buy 11.03 €
Otaku Food! Danielle Baghernejad / Livro Capa mole
common.buy 19.44 €
Principal
Girl and the Goddess Nikita Gill / Livro Livro de capa dura
common.buy 12.04 €
Principal
Hands Down Mariana Zapata / Livro Capa mole
common.buy 16.40 €
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Livro Capa mole
common.buy 8.60 €
Principal
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Livro Capa mole
common.buy 9.00 €
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Livro Capa mole
common.buy 60.56 €
Principal
Peak Performance Table Tennis Kevin Finn / Livro Capa mole
common.buy 14.07 €
Refractory Materials Faraday Society / Livro Capa mole
common.buy 18.12 €
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Livro Capa mole
common.buy 22.47 €
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Livro Capa mole
common.buy 12.55 €
Principal
The 100 Kass Morgan / Livro Capa mole
common.buy 9.00 €
Principal
In Search of Lost Time: Volume 2 Marcel Proust / Livro Capa mole
common.buy 10.12 €

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