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 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Verified Software: Theories, Tools, Experiments Natarajan Shankar
Código Libristo: 01570696
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Descrição completa
? points 132 b
54.47 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Gesänge der Liebe Hans-Peter Kolb / Livro Livro de capa dura
common.buy 21.86 €
Ethisches Argumentieren Katharina Klöcker / Livro Capa mole
common.buy 46.98 €
Some Girls do Jennifer Dugan / Livro Capa mole
common.buy 15.89 €
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Livro Folha
common.buy 4.24 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Livro Capa mole
common.buy 35.74 €
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Livro Livro de capa dura
common.buy 68.24 €
Frost Thomas Bernhard / Livro Capa mole
common.buy 13.46 €
Allgemeine Haftpflichtversicherung Joachim Kuwert / Livro Capa mole
common.buy 55.99 €
Quantum: el abuelo y la nieta Capetillo Blanco / Livro Capa mole
common.buy 20.34 €
MIRADAS CLAVERO / Livro Livro
common.buy 21.46 €
Innovation collaborative BOUCHEZ / Livro Capa mole
common.buy 35.03 €
Les derniers jours de la gauche Barbier / Livro Capa mole
common.buy 22.88 €
Survival - In den Krallen des Leguans Stefani Kampmann / Livro Livro de capa dura
common.buy 11.23 €
Subtile Signale in Texten Jens Korbus / Livro Capa mole
common.buy 13.36 €
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Livro Capa mole
common.buy 20.24 €
Feuilles de travail pour la thérapie cognitivo-comportementale pour la dépression: Manuel de CBT pour faire face ? l'humeur de contrôle de l'anxiété, Jacquelyn Lefebvre / Livro Capa mole
common.buy 9.41 €
Česko dětem 2 / Artigos impressos Mapa
common.buy 3.33 €
Principal
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Livro Livro de capa dura
common.buy 7.69 €
Die wahre Geschichte von McDonald's Ray Kroc / Livro Capa mole
common.buy 16.29 €
Tentateur LaCroix-J / Livro Capa mole
common.buy 26.72 €
Mundwerk Thomas Godoj / Áudio CD de áudio
common.buy 11.13 €
Mirabilia CONRAD ROSET / Livro Capa mole
common.buy 22.98 €
Perspektive Gerhard Tschauder / Livro Livro de capa dura
common.buy 125.55 €
Flux Attwenger / Áudio CD de áudio
common.buy 21.05 €

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. §The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

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: Theories, Tools, Experiments
Autor Natarajan Shankar, Jim Woodcock
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2008
Número de páginas 263
EAN 9783540878728
ISBN 3540878726
Código Libristo 01570696
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 427
Dimensões 155 x 235 x 16

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

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Livro Capa mole
common.buy 54.47 €
The Angel Children Linda Emmanuel / Livro Capa mole
common.buy 12.34 €
Spoiler Alert! Steven Espinoza / Livro Capa mole
common.buy 29.96 €
Principal
Becoming Myself Irvin D. Yalom / Livro Capa mole
common.buy 15.79 €
Alexander the Great W B Godbey / Livro Capa mole
common.buy 6.88 €
Unfold Your Mat, Unfold Yourself Anne M Samit / Livro Capa mole
common.buy 16.80 €
In Art: Chairs Deirdre K Fuller / Livro Capa mole
common.buy 10.62 €
C.O.W.: Creatures of War Thomax Green / Livro Capa mole
common.buy 12.34 €
Twice Bought Robert Michael Ballantyne / Livro Capa mole
common.buy 20.65 €
Way to Do a Thing Is to Do It CARL WELLS / Livro Capa mole
common.buy 21.25 €
Promise and Peril Will R. Jordan / Livro Capa mole
common.buy 25.61 €
How to Do Homework Without Throwing Up Trevor Romain / Livro Capa mole
common.buy 10.22 €
Key Words in Islam: Ron Geaves / Livro Capa mole
common.buy 23.48 €
Laws of Love Patricia Cohen / Livro Capa mole
common.buy 31.79 €
ILLUMINATIONS Mark Wilson / Livro Capa mole
common.buy 14.07 €
(Sur)real Melissa Haag / Livro Capa mole
common.buy 11.33 €
Digital Renaissance Joel Waldfogel / Livro Capa mole
common.buy 21.56 €
King Atterberry Ink Christine Jones / Livro Capa mole
common.buy 13.96 €
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Livro Capa mole
common.buy 8.60 €
Diary of a Softball Girl Amy Ballantyne / Livro Capa mole
common.buy 13.05 €
Moonwalking with Einstein Joshua Foer / E-book Adobe ePub DRM
common.buy 16.50 €
All the Lives We Never Lived Anuradha Roy / E-book Adobe ePub DRM
common.buy 7.69 €
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Livro Capa mole
common.buy 110.57 €
Technical Trading Mastery, Second Edition Chris Vermeulen / Livro Capa mole
common.buy 15.79 €

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?