Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Lingua

Inglese

Libro Rigido

Codice Libristo: 01384259

Casa editrice Springer-Verlag New York Inc., giugno 2001

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

Codice Libristo: 01384259

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Documenting Software Architectures Paul Clements

Rigido

71.29 €

Introduction to Software Testing Paul Ammann

Rigido

90.99 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Rigido

78.89 €

Cloud Computing: 2018 Ray Rafaels

In brossura

24.79 €

Structured Parallel Programming Michael McCool

In brossura

68.79 €

Modern Compiler Implementation in C Andrew W Appel

In brossura

101.99 €

Python Algorithms Magnus Lie Hetland

In brossura

103.89 €

Algorithm Design Jon Kleinberg & Eva Tardos

In brossura

134.39 €

Software Architecture in Practice Len Bass

In brossura

67.99 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Rigido

151.69 €

Learn Concurrent Programming with Go Cutajar

In brossura

66.79 €

Programming Models for Parallel Computing Pavan Balaji

In brossura

63.49 €

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

In brossura

13.19 €

Wie Raubkatzen René Clément

Blu-ray

23.89 €

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

In brossura

22.49 €

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

In brossura

11.49 €

Aristarch

In brossura

32.69 €

Gotlib, Une vie en dessins Marcel Gotlib

Rigido

67.69 €

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Libro

17.69 €

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

In brossura

33.69 €

Signes annonciateurs d'orages, Nouvelles preuves de l'existence des dieux Chiran Libro

In brossura

17.69 €

100 ideas para que tus hijos sean autónomos ANNE BACUS

In brossura

7.79 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Gioco

9.49 €

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

In brossura

66.39 €

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.