Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01384259

Nakladateľstvo Springer-Verlag New York Inc., jún 2001

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

Libristo kód: 01384259

135 b

55.84 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Documenting Software Architectures Paul Clements

Pevná

68.08 €

Introduction to Software Testing Paul Ammann

Pevná

84.58 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Pevná

75.67 €

Cloud Computing: 2018 Ray Rafaels

Brožovaná

22.55 €

Structured Parallel Programming Michael McCool

Brožovaná

65.96 €

Modern Compiler Implementation in C Andrew W Appel

Brožovaná

93.78 €

Python Algorithms Magnus Lie Hetland

Brožovaná

95.60 €

Algorithm Design Jon Kleinberg & Eva Tardos

Brožovaná

129.60 €

Software Architecture in Practice Len Bass

Brožovaná

64.54 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Pevná

140.63 €

Learn Concurrent Programming with Go Cutajar

Brožovaná

64.64 €

Programming Models for Parallel Computing Pavan Balaji

Brožovaná

61.30 €

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

Brožovaná

12.13 €

Wie Raubkatzen René Clément

Blu-ray

23.06 €

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

Brožovaná

21.74 €

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

Brožovaná

10.61 €

Aristarch

Brožovaná

31.25 €

Gotlib, Une vie en dessins Marcel Gotlib

Pevná

65.65 €

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Kniha

17.09 €

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

Brožovaná

32.57 €

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

Brožovaná

17.19 €

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

Brožovaná

7.88 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Hra

9.20 €

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

Brožovaná

64.04 €

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.