«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Verification-based software-fault detection

Idioma InglésInglés
Libro Tapa blanda
Libro Verification-based software-fault detection Christoph David Gladisch
Código Libristo: 01877599
Editores Karlsruher Institut Fur Technologie, agosto 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Descripción completa
? points 97 b
39.49 €
Almacenamiento externo Envío en 8-11 días

Política de devolución de 30 días

Clientes que también han comprado

Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Libro Tapa dura
common.buy 31.79 €
Pozorování ptáků Chris Packham / Libro Tapa dura
common.buy 13.29 €
Luis Landero - El guitarrista Sabine Husmann / Libro Tapa blanda
common.buy 17.89 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Libro Tapa blanda
common.buy 57.89 €
The Grammar Tree / Juego/Juguete Juego
common.buy 26.39 €
Oval Elvia Wilk / Libro Libro
common.buy 20.49 €
Die Osterschildkröte Guido Kasmann / Libro Tapa blanda
common.buy 10.69 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Libro Libro
common.buy 69.69 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Libro Tapa dura
common.buy 31.49 €
Muž, co strašnou smůlu měl Martin Pospíšil / Libro Tapa blanda
common.buy 11.49 €
Der große Rätselblock. Bd.45 / Libro Tapa blanda
common.buy 6.19 €
Game of Thrones - Der Winter naht George Raymond Richard Martin / Libro Tapa dura
common.buy 30.59 €
ESCRITOS EN LA CALLE Alejandro Guerri / Libro Tapa blanda
common.buy 18.29 €
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Libro Tapa blanda
common.buy 19.29 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Libro Tapa blanda
common.buy 18.09 €
Orange Line 2 Frank Haß / Libro Tapa dura
common.buy 34.09 €
Grundzuge Der Praktischen Pharmazie Richard Brieger / Libro Tapa blanda
common.buy 91.99 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Verification-based software-fault detection
Autor Christoph David Gladisch
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 292
EAN 9783866446762
Código Libristo 01877599
Editores Karlsruher Institut Fur Technologie
Peso 467
Dimensiones 170 x 244 x 15

Categorías

Computación e informática > Tecnología de la información: cuestiones generales
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Lessons from the Damned Nancy E. Stoller / Libro Tapa blanda
common.buy 77.69 €
Ancient Egypt Arthur Gilman / Libro Tapa blanda
common.buy 34.89 €
Catholic Question John Edmonds Stock / Libro Tapa blanda
common.buy 21.99 €
Investigations into Narrative Structures Christian Todenhagen / Libro Tapa dura
common.buy 92.99 €
Voices from Exile Victor Montejo / Libro Tapa blanda
common.buy 30.79 €
Nevada: A History Robert Laxalt / Libro Tapa blanda
common.buy 21.59 €
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Libro Tapa blanda
common.buy 20.39 €
Stanfield Hall JOHN GILBERT / Libro Tapa blanda
common.buy 39.59 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Libro Tapa blanda
common.buy 15.39 €
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 / Libro Tapa blanda
common.buy 8.99 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Libro Tapa blanda
common.buy 42.39 €
Micrographia Restaurata Robert Hooke / Libro Tapa dura
common.buy 31.79 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Libro Tapa blanda
common.buy 20.09 €
The Annunaki Robert Smith / Libro Tapa blanda
common.buy 10.69 €
Popular
Orlando Virginia Woolf / Libro Tapa blanda
common.buy 9.69 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Libro Tapa blanda
common.buy 16.09 €
Hiding Behind A Mask K. Weikel / Libro Tapa blanda
common.buy 14.49 €
Económico
Daddy's Home St. Vincent / Audio Vinilo de audio
common.buy 19.79 €
Warren Buffett's Ground Rules Jeremy Miller / Libro electrónico Adobe ePub DRM
common.buy 12.19 €
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Libro Tapa blanda
common.buy 22.99 €
NEW DAD JOKES Harding / Libro Tapa blanda
common.buy 11.19 €
Letters of Gustave Flaubert Gustave Flaubert / Libro electrónico Adobe ePub DRM
common.buy 25.99 €
Concepts for Neural Networks Lawrence J. Landau / Libro Tapa blanda
common.buy 118.29 €
subalpine lake ecosystem, Ovre Heimdalsvatn, and its catchment: local and global changes over the last 50 years John E. Brittain / Libro Tapa dura
common.buy 180.99 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?