Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01384259

Nakladatelství Springer-Verlag New York Inc., červen 2001

This book presents current methods for dealing with software reliability. It compares between these... Celý popis

Libristo kód: 01384259

135 b

1 352 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Documenting Software Architectures Paul Clements

Pevná

1 551 Kč

Introduction to Software Testing Paul Ammann

Pevná

2 046 Kč

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Pevná

1 729 Kč

Cloud Computing: 2018 Ray Rafaels

Brožovaná

547 Kč

Structured Parallel Programming Michael McCool

Brožovaná

1 596 Kč

Modern Compiler Implementation in C Andrew W Appel

Brožovaná

2 156 Kč

Python Algorithms Magnus Lie Hetland

Brožovaná

2 196 Kč

Algorithm Design Jon Kleinberg & Eva Tardos

Brožovaná

2 982 Kč

Software Architecture in Practice Len Bass

Brožovaná

1 402 Kč

Introduction to Algorithms, fourth edition Thomas H. Cormen

Pevná

3 364 Kč

Learn Concurrent Programming with Go Cutajar

Brožovaná

1 492 Kč

Programming Models for Parallel Computing Pavan Balaji

Brožovaná

1 413 Kč

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

Brožovaná

293 Kč

Wie Raubkatzen René Clément

Blu-ray

530 Kč

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

Brožovaná

527 Kč

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

Brožovaná

256 Kč

Aristarch

Brožovaná

711 Kč

Gotlib, Une vie en dessins Marcel Gotlib

Pevná

1 589 Kč

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Kniha

414 Kč

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

Brožovaná

787 Kč

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

Brožovaná

415 Kč

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

Brožovaná

192 Kč

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Hra

222 Kč

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

Brožovaná

1 549 Kč

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.