Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Language

English

Book Hardback

Libristo code: 01384259

Publishers Springer-Verlag New York Inc., June 2001

This book presents current methods for dealing with software reliability. It compares between these... Full description

Libristo code: 01384259

148 b

60.39 € VAT included

Low in stock at our supplier Shipping in 13-18 days

Delivery to Austria

30-day return policy

Customers also purchased

Documenting Software Architectures Paul Clements

Hardback

71.29 €

Introduction to Software Testing Paul Ammann

Hardback

90.99 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Hardback

78.89 €

Cloud Computing: 2018 Ray Rafaels

Paperback

24.79 €

Structured Parallel Programming Michael McCool

Paperback

68.79 €

Modern Compiler Implementation in C Andrew W Appel

Paperback

101.99 €

Python Algorithms Magnus Lie Hetland

Paperback

103.89 €

Algorithm Design Jon Kleinberg & Eva Tardos

Paperback

134.39 €

Software Architecture in Practice Len Bass

Paperback

67.99 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardback

151.69 €

Learn Concurrent Programming with Go Cutajar

Paperback

66.79 €

Programming Models for Parallel Computing Pavan Balaji

Paperback

63.49 €

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

Paperback

13.19 €

Wie Raubkatzen René Clément

Blu-ray

23.89 €

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

Paperback

22.49 €

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

Paperback

11.49 €

Aristarch

Paperback

34.90 €

Gotlib, Une vie en dessins Marcel Gotlib

Hardback

67.69 €

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Book

17.69 €

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

Paperback

33.69 €

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

Paperback

17.69 €

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

Paperback

8.29 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Game

9.49 €

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

Paperback

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.