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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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: 1392 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

139 b

1 392 Kč

Skladem u dodavatele Odesíláme za 9-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Python Algorithms Magnus Lie Hetland

Brožovaná

2 154 Kč

Introduction to Software Testing Paul Ammann

Pevná

2 102 Kč

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Pevná

1 728 Kč

Cloud Computing: 2018 Ray Rafaels

Brožovaná

561 Kč

Structured Parallel Programming Michael McCool

Brožovaná

1 353 Kč

Modern Compiler Implementation in C Andrew W Appel

Brožovaná

2 184 Kč

Documenting Software Architectures Paul Clements

Pevná

1 551 Kč

Algorithm Design Jon Kleinberg & Eva Tardos

Brožovaná

3 134 Kč

Software Architecture in Practice Len Bass

Brožovaná

1 358 Kč

Programming Models for Parallel Computing Pavan Balaji

Brožovaná

1 413 Kč

Learn Concurrent Programming with Go Cutajar

Brožovaná

1 544 Kč

Introduction to Algorithms, fourth edition Thomas H. Cormen

Pevná

3 279 Kč

Wie Raubkatzen René Clément

Blu-ray

530 Kč

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

Brožovaná

907 Kč

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

Brožovaná

300 Kč

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

Brožovaná

267 Kč

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

Brožovaná

499 Kč

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

Brožovaná

1 061 Kč

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

Brožovaná

259 Kč

Aristarch

Brožovaná

711 Kč

Gotlib, Une vie en dessins Marcel Gotlib

Pevná

1 561 Kč

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

Brožovaná

812 Kč

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

Brožovaná

1 797 Kč

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

Brožovaná

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