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

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

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

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

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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Software Reliability Methods

Name: Software Reliability Methods
Brand: Springer-Verlag New York Inc.
SKU: 01384259
Price: 58.25 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

142 b

58.25 €

113.92 лв

Външен склад Изпращаме след 14-21 дни

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

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

Python Algorithms Magnus Lie Hetland

С меки корици

99.74 € 195.07 лв

Introduction to Software Testing Paul Ammann

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

87.81 € 171.74 лв

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

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

79.38 € 155.25 лв

Structured Parallel Programming Michael McCool

С меки корици

59.02 € 115.43 лв

Modern Compiler Implementation in C Andrew W Appel

С меки корици

97.83 € 191.35 лв

Documenting Software Architectures Paul Clements

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

71.67 € 140.16 лв

Cloud Computing: 2018 Ray Rafaels

С меки корици

23.65 € 46.25 лв

Algorithm Design Jon Kleinberg & Eva Tardos

С меки корици

135.06 € 264.15 лв

Programming Models for Parallel Computing Pavan Balaji

С меки корици

63.85 € 124.88 лв

Software Architecture in Practice Len Bass

С меки корици

64.78 € 126.69 лв

Introduction to Algorithms, fourth edition Thomas H. Cormen

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

146.42 € 286.37 лв

Learn Concurrent Programming with Go Cutajar

С меки корици

67.14 € 131.32 лв

Gotlib, Une vie en dessins Marcel Gotlib

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

67.09 € 131.21 лв

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

С меки корици

39.12 € 76.51 лв

Wie Raubkatzen René Clément

Blu-ray

24.00 € 46.95 лв

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

С меки корици

11.56 € 22.61 лв

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

С меки корици

21.59 € 42.22 лв

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

С меки корици

44.67 € 87.37 лв

Aristarch

С меки корици

32.85 € 64.25 лв

Mobile Suit Gundam G.M.G. Collection 11 Action Figure Earth Federation Mirai Yashima 10 cm Игра/играчка

Играчка

41.28 € 80.74 лв

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

С меки корици

37.53 € 73.40 лв

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

С меки корици

12.64 € 24.73 лв

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Игра

10.53 € 20.60 лв

Storia d'Amore: Commedia Lirica Samaras Spyros 1861-1917

С меки корици

25.03 € 48.96 лв

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.