Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

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

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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Software Reliability Methods

Name: Software Reliability Methods
Brand: Springer-Verlag New York Inc.
SKU: 01384259
Price: 60.39 EUR
Availability: InStock
Author: Doron A. Peled
ISBN: 9780387951065

Doron A. Peled

Edmund M. Clarke

Idioma

Inglés

Libro Tapa dura

Código Libristo: 01384259

Editores Springer-Verlag New York Inc., junio 2001

This book presents current methods for dealing with software reliability. It compares between these... Descripción completa

Código Libristo: 01384259

148 b

60.39 €

Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Documenting Software Architectures Paul Clements

Tapa dura

75.19 €

Introduction to Software Testing Paul Ammann

Tapa dura

90.99 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Tapa dura

83.09 €

Cloud Computing: 2018 Ray Rafaels

Tapa blanda

24.79 €

Structured Parallel Programming Michael McCool

Tapa blanda

59.89 €

Modern Compiler Implementation in C Andrew W Appel

Tapa blanda

103.79 €

Python Algorithms Magnus Lie Hetland

Tapa blanda

105.79 €

Algorithm Design Jon Kleinberg & Eva Tardos

Tapa blanda

136.89 €

Programming Models for Parallel Computing Pavan Balaji

Tapa blanda

71.39 €

Software Architecture in Practice Len Bass

Tapa blanda

69.39 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Tapa dura

159.99 €

Learn Concurrent Programming with Go Cutajar

Tapa blanda

60.29 €

Wie Raubkatzen René Clément

Blu-ray

24.99 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Juego

9.39 €

Le narcissisme, vers une évolution de la théorie psychanalytique Roussillon

Tapa blanda

21.69 €

Qu'est-ce que la société ? Hichem Karoui

Tapa blanda

46.49 €

Dva světy základní školy? Jan Průcha

Tapa blanda

11.69 €

Aristarch

Tapa blanda

34.49 €

Mobile Suit Gundam G.M.G. Collection 11 Action Figure Earth Federation Mirai Yashima 10 cm Juego/Juguete

Juguete

41.09 €

Gotlib, Une vie en dessins Marcel Gotlib

Tapa dura

65.89 €

Die deutschen und angelsächsischen Kreditbanken im Lichte ihrer Bilanzen. Willi Fischöder

Tapa blanda

39.89 €

Objets d'Art Et d'Ameublement, Porcelaines Et Faiences, Pendules Anciennes, Bronzes Charles Mannheim

Tapa blanda

13.19 €

El diario amarillo de Carlota Gemma Lienas

Tapa blanda

16.59 €

Die postmoderne Gesellschaft und der religiöse Pluralismus. Rolf Kramer

Tapa blanda

78.69 €

This book presents current methods for dealing with software reliability. It compares between these methods, and shows their advantages and disadvantages. The book presents a description of the techniques, intended for a nonexpert audience with some minimal technical background (e.g., some training in software engineering, or basic computer science courses). It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This text/reference is intended to be used as an introduction to software methods techniques, a source for learning about various ways to enhanced software reliability, a reference on formal methods technique, and also as a basis for a one semester university course in this subject. It suggests various projects and exercises for achieving "hands-on" experience with the various formal methods tools.