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

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Verified Software: Theorie, Tools, Experiments Ernie Cohen
Código Libristo: 02433185
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Livro Capa mole
common.buy 42.22 €
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Livro Capa mole
common.buy 33.32 €
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Livro Capa mole
common.buy 11.74 €
Une touche de bleu - Tome 04 Nozomi Suzuki / Livro Capa mole
common.buy 9.71 €
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Vídeo Blu-ray
common.buy 14.98 €
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Livro Capa mole
common.buy 31.49 €
Dance & love. La mia musica, la mia vita Gabry Ponte / Livro Livro de capa dura
common.buy 16.50 €
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Livro Capa mole
common.buy 18.93 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

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 Verified Software: Theorie, Tools, Experiments
Autor Ernie Cohen, Andrey Rybalchenko
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 345
EAN 9783642541070
ISBN 3642541070
Código Libristo 02433185
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 5504
Dimensões 155 x 235 x 20

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

New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Livro Livro de capa dura
common.buy 124.47 €
The Palgrave Handbook of Experimental Cinema Jonathan Walley / Livro Capa mole
common.buy 95.30 €
On Legitimacy in Global Governance Soren Hilbrich / Livro Capa mole
common.buy 104.82 €
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / E-book Adobe ePub DRM
common.buy 23.79 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Livro Capa mole
common.buy 12.75 €
Wytch Wars Sharon Anne Guthrie / Livro Capa mole
common.buy 8.80 €
Belinda Maria Edgeworth / Livro Capa mole
common.buy 9.21 €
WHERE I NEED TO BE Kimberly Knight / Livro Capa mole
common.buy 12.55 €
The Turtle Ship Helena Ku Rhee / Livro Livro de capa dura
common.buy 16.50 €
Em breve
Living in Provence René Stoeltie / Livro Livro de capa dura
common.buy 19.33 €
What's my name? NEO Tiina Walsh / Livro Capa mole
common.buy 12.65 €
Learn from Me Fr Con Buckley / Livro Capa mole
common.buy 24.30 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Livro Capa mole
common.buy 12.35 €
Principal
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Artigos impressos Cartões
common.buy 9.51 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Livro Capa mole
common.buy 137.84 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Livro Livro de capa dura
common.buy 125.58 €
Heirs of Salvation Gloria Laura Lavoie / Livro Capa mole
common.buy 11.54 €
Gentry Leaders In Peace And War Mary Wolffe / Livro Livro de capa dura
common.buy 110.39 €
Cincinnati Day Trips Jennifer Renee Reed / Livro Capa mole
common.buy 15.79 €
Rome Franco Archibugi / Livro Capa mole
common.buy 57.72 €
Look Back with Longing Suzanne Morris / Livro Capa mole
common.buy 16.40 €
Young Ladies Conduct John. Essex / Livro Capa mole
common.buy 19.64 €
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Livro Capa mole
common.buy 12.55 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?