Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Kurier DPD 4.99 € Kurier Hermes 5.49 € Kurier DHL 4.49 € Punkt Hermes 4.99 € Punkt DPD 3.49 € Kurier GLS 5.49 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Język

Angielski

Książka Twarda

Kod Libristo: 01384259

Wydawnictwo Springer-Verlag New York Inc., czerwiec 2001

This book presents current methods for dealing with software reliability. It compares between these... Cały opis

Kod Libristo: 01384259

146 b

Gwarancja
najlepszej
ceny ▸

59.59 € včetně DPH

Dostępna u dostawcy Wysyłamy za 9-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Python Algorithms Magnus Lie Hetland

Miękka

97.29 €

Introduction to Software Testing Paul Ammann

Twarda

89.69 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Twarda

78.89 €

Cloud Computing: 2018 Ray Rafaels

Miękka

24.19 €

Structured Parallel Programming Michael McCool

Miękka

58.49 €

Modern Compiler Implementation in C Andrew W Appel

Miękka

98.69 €

Documenting Software Architectures Paul Clements

Twarda

71.29 €

Algorithm Design Jon Kleinberg & Eva Tardos

Miękka

140.69 €

Software Architecture in Practice Len Bass

Miękka

62.39 €

Programming Models for Parallel Computing Pavan Balaji

Miękka

63.49 €

Learn Concurrent Programming with Go Cutajar

Miękka

69.09 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Twarda

148.69 €

Wie Raubkatzen René Clément

Blu-ray

22.80 €

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

Miękka

37.09 €

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

Miękka

12.89 €

Everything You Need to Know About the Pill (but were too afraid to ask) Kate Muir

Miękka

14.00 €

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

Miękka

19.49 €

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

Miękka

45.59 €

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

Miękka

11.89 €

Aristarch

Miękka

34.91 €

Gotlib, Une vie en dessins Marcel Gotlib

Twarda

60.99 €

Infecç?o do tracto urinário Falah Hasan Obayes AL-Khikani

Miękka

37.29 €

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

Miękka

73.49 €

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

Miękka

15.09 €

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.