Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

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 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

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: 247.94 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

142 b

Gwarancja
najlepszej
ceny ▸

247.94 zł

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

30 dni na zwrot towaru

Klienci kupili także

Documenting Software Architectures Paul Clements

Twarda

288.80 zł

Introduction to Software Testing Paul Ammann

Twarda

374.43 zł

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Twarda

320.62 zł

Cloud Computing: 2018 Ray Rafaels

Miękka

100.88 zł

Structured Parallel Programming Michael McCool

Miękka

279.66 zł

Modern Compiler Implementation in C Andrew W Appel

Miękka

377.74 zł

Python Algorithms Magnus Lie Hetland

Miękka

384.77 zł

Algorithm Design Jon Kleinberg & Eva Tardos

Miękka

549.30 zł

Software Architecture in Practice Len Bass

Miękka

245.63 zł

Introduction to Algorithms, fourth edition Thomas H. Cormen

Twarda

619.97 zł

Learn Concurrent Programming with Go Cutajar

Miękka

273.84 zł

Programming Models for Parallel Computing Pavan Balaji

Miękka

259.99 zł

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

Miękka

54.00 zł

Wie Raubkatzen René Clément

Blu-ray

97.77 zł

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

Miękka

92.34 zł

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

Miękka

46.47 zł

Aristarch

Miękka

132.50 zł

Gotlib, Une vie en dessins Marcel Gotlib

Twarda

278.46 zł

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Książka

69.06 zł

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

Miękka

137.92 zł

Signes annonciateurs d'orages, Nouvelles preuves de l'existence des dieux Chiran Książka

Miękka

72.67 zł

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

Miękka

33.62 zł

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Gra

33.82 zł

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

Miękka

271.43 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.