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

Verification-based software-fault detection

Língua InglêsInglês
Livro Capa mole
Livro Verification-based software-fault detection Christoph David Gladisch
Código Libristo: 01877599
Editoras Karlsruher Institut Fur Technologie, agosto 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Descrição completa
? points 81 b
33.68 €
Armazenamento externo Envio em 8-11 dias

Até 30 dias para devoluções

Os clientes também compraram

Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Livro Livro de capa dura
common.buy 19.41 €
Pozorování ptáků Chris Packham / Livro Livro de capa dura
common.buy 10.31 €
Luis Landero - El guitarrista Sabine Husmann / Livro Capa mole
common.buy 15.26 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Livro Capa mole
common.buy 46.02 €
The Grammar Tree / Jogo/brinquedo Jogo
common.buy 23.05 €
Oval Elvia Wilk / Livro Livro
common.buy 16.48 €
Die Osterschildkröte Guido Kasmann / Livro Capa mole
common.buy 7.78 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Livro Livro
common.buy 62.91 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Livro Livro de capa dura
common.buy 27.30 €
Muž, co strašnou smůlu měl Martin Pospíšil / Livro Capa mole
common.buy 10.41 €
Der große Rätselblock. Bd.45 / Livro Capa mole
common.buy 5.35 €
Game of Thrones - Der Winter naht George Raymond Richard Martin / Livro Livro de capa dura
common.buy 25.99 €
ESCRITOS EN LA CALLE Alejandro Guerri / Livro Capa mole
common.buy 16.38 €
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Livro Capa mole
common.buy 16.28 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Livro Capa mole
common.buy 15.77 €
Orange Line 2 Frank Haß / Livro Livro de capa dura
common.buy 29.83 €
Grundzuge Der Praktischen Pharmazie Richard Brieger / Livro Capa mole
common.buy 72.82 €

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

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 Verification-based software-fault detection
Autor Christoph David Gladisch
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 292
EAN 9783866446762
Código Libristo 01877599
Editoras Karlsruher Institut Fur Technologie
Peso 467
Dimensões 170 x 244 x 15

Categorias

Informática & tecnologia da informação > Tecnologia da informação: generalidades
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

Lessons from the Damned Nancy E. Stoller / Livro Capa mole
common.buy 68.57 €
Ancient Egypt Arthur Gilman / Livro Capa mole
common.buy 26.90 €
Catholic Question John Edmonds Stock / Livro Capa mole
common.buy 18.10 €
Investigations into Narrative Structures Christian Todenhagen / Livro Livro de capa dura
common.buy 98.11 €
Voices from Exile Victor Montejo / Livro Capa mole
common.buy 27.40 €
Nevada: A History Robert Laxalt / Livro Capa mole
common.buy 17.59 €
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Livro Capa mole
common.buy 17.19 €
Stanfield Hall JOHN GILBERT / Livro Capa mole
common.buy 25.18 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Livro Capa mole
common.buy 12.53 €
How to Draw Kawaii Cute Animals and Characters: Drawing for Kids with Letters Numbers and Shapes: Cartooning for Kids and Learning How to Draw Cute Ka Rachel a Goldstein / Livro Capa mole
common.buy 7.37 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Livro Capa mole
common.buy 37.82 €
Micrographia Restaurata Robert Hooke / Livro Livro de capa dura
common.buy 27.71 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Livro Capa mole
common.buy 17.39 €
The Annunaki Robert Smith / Livro Capa mole
common.buy 8.79 €
Principal
Orlando Virginia Woolf / Livro Capa mole
common.buy 7.98 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Livro Capa mole
common.buy 14.05 €
Hiding Behind A Mask K. Weikel / Livro Capa mole
common.buy 12.53 €
Económico
Daddy's Home St. Vincent / Áudio Vinil de áudio
common.buy 20.02 €
Warren Buffett's Ground Rules Jeremy Miller / E-book Adobe ePub DRM
common.buy 10.21 €
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Livro Capa mole
common.buy 19.82 €
NEW DAD JOKES Harding / Livro Capa mole
common.buy 9.30 €
Letters of Gustave Flaubert Gustave Flaubert / E-book Adobe ePub DRM
common.buy 21.54 €
Concepts for Neural Networks Lawrence J. Landau / Livro Capa mole
common.buy 97.40 €
subalpine lake ecosystem, Ovre Heimdalsvatn, and its catchment: local and global changes over the last 50 years John E. Brittain / Livro Livro de capa dura
common.buy 145.96 €

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?