Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Software Reliability Methods

Name: Software Reliability Methods
Brand: Springer-Verlag New York Inc.
SKU: 01384259
Price: 253.33 PLN
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

141 b

Gwarancja
najlepszej
ceny ▸

253.33 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Documenting Software Architectures Paul Clements

Twarda

295.32 zł

Introduction to Software Testing Paul Ammann

Twarda

382.88 zł

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Twarda

327.86 zł

Cloud Computing: 2018 Ray Rafaels

Miękka

103.16 zł

Structured Parallel Programming Michael McCool

Miękka

245.84 zł

Modern Compiler Implementation in C Andrew W Appel

Miękka

386.27 zł

Python Algorithms Magnus Lie Hetland

Miękka

393.45 zł

Algorithm Design Jon Kleinberg & Eva Tardos

Miękka

561.70 zł

Programming Models for Parallel Computing Pavan Balaji

Miękka

300.97 zł

Software Architecture in Practice Len Bass

Miękka

251.18 zł

Introduction to Algorithms, fourth edition Thomas H. Cormen

Twarda

638.59 zł

Learn Concurrent Programming with Go Cutajar

Miękka

252.10 zł

Wie Raubkatzen René Clément

Blu-ray

99.97 zł

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Gra

34.89 zł

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

Miękka

93.71 zł

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

Miękka

194.72 zł

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

Miękka

47.52 zł

Aristarch

Miękka

135.49 zł

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

Zabawka

180.04 zł

Gotlib, Une vie en dessins Marcel Gotlib

Twarda

284.13 zł

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

Miękka

163.62 zł

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

Miękka

55.22 zł

El diario amarillo de Carlota Gemma Lienas

Miękka

72.87 zł

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

Miękka

322.83 zł

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.