Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.99 € Пункт на Speedy 3.99 € ЕКОНТ 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday 4.49 € Sameday box 4.49 € Box Now 4.49 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Език

Английски език

Книга С твърди корици

Код Либристо: 01384259

Издателство Springer-Verlag New York Inc., юни 2001

This book presents current methods for dealing with software reliability. It compares between these... Цялото описание

Код Либристо: 01384259

146 b

59.66 €

116.68 лв

Доставка до Коледа ▾ Външен склад Изпращаме след 9-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Python Algorithms Magnus Lie Hetland

С меки корици

97.46 € 190.61 лв

Introduction to Software Testing Paul Ammann

С твърди корици

89.88 € 175.78 лв

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

С твърди корици

74.87 € 146.43 лв

Structured Parallel Programming Michael McCool

С меки корици

61.61 € 120.49 лв

Modern Compiler Implementation in C Andrew W Appel

С меки корици

98.89 € 193.41 лв

Documenting Software Architectures Paul Clements

С твърди корици

67.44 € 131.91 лв

Algorithm Design Jon Kleinberg & Eva Tardos

С меки корици

134.64 € 263.33 лв

Software Architecture in Practice Len Bass

С меки корици

62.58 € 122.39 лв

Programming Models for Parallel Computing Pavan Balaji

С меки корици

60.73 € 118.79 лв

Learn Concurrent Programming with Go Cutajar

С меки корици

66.78 € 130.61 лв

Introduction to Algorithms, fourth edition Thomas H. Cormen

С твърди корици

143.60 € 280.85 лв

Wie Raubkatzen René Clément

Blu-ray

22.84 € 44.66 лв

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

С меки корици

38.97 € 76.22 лв

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

С меки корици

16.49 € 32.24 лв

Bohomaz Jacek Ostrowski

С меки корици

11.72 € 22.93 лв

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

С меки корици

11.72 € 22.93 лв

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

С меки корици

21.30 € 41.66 лв

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

С меки корици

45.63 € 89.24 лв

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

С меки корици

11.88 € 23.23 лв

Aristarch

С меки корици

32.77 € 64.10 лв

Gotlib, Une vie en dessins Marcel Gotlib

С твърди корици

66.62 € 130.31 лв

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

С меки корици

35.28 € 69.00 лв

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

С меки корици

77.23 € 151.04 лв

BRASILIANISCHES STANDCHEN CHANT FRANZ BIEBL Книга

binding.

6.40 € 12.51 лв

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.