Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 01384259

Editoras Springer-Verlag New York Inc., junho 2001

This book presents current methods for dealing with software reliability. It compares between these... Descrição completa

Código Libristo: 01384259

122 b

50.58 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Documenting Software Architectures Paul Clements

Livro de capa dura

60.09 €

Introduction to Software Testing Paul Ammann

Livro de capa dura

77.09 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Livro de capa dura

67.27 €

Cloud Computing: 2018 Ray Rafaels

Capa mole

20.12 €

Structured Parallel Programming Michael McCool

Capa mole

54.93 €

Modern Compiler Implementation in C Andrew W Appel

Capa mole

84.37 €

Python Algorithms Magnus Lie Hetland

Capa mole

85.99 €

Algorithm Design Jon Kleinberg & Eva Tardos

Capa mole

116.85 €

Software Architecture in Practice Len Bass

Capa mole

54.32 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Livro de capa dura

131.83 €

Learn Concurrent Programming with Go Cutajar

Capa mole

58.77 €

Programming Models for Parallel Computing Pavan Balaji

Capa mole

55.54 €

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

Capa mole

10.82 €

Wie Raubkatzen René Clément

Blu-ray

20.73 €

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

Capa mole

18.00 €

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

Capa mole

9.91 €

Aristarch

Capa mole

27.61 €

Gotlib, Une vie en dessins Marcel Gotlib

Livro de capa dura

54.22 €

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Livro

13.75 €

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

Capa mole

27.71 €

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

Capa mole

14.16 €

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

Capa mole

6.36 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Jogo

7.58 €

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

Capa mole

54.53 €

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.