Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 01384259

Založba Springer-Verlag New York Inc., junij 2001

This book presents current methods for dealing with software reliability. It compares between these... Celoten opis

Koda Libristo: 01384259

129 b

53.21 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Documenting Software Architectures Paul Clements

Trda

64.14 €

Introduction to Software Testing Paul Ammann

Trda

84.58 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Trda

71.42 €

Cloud Computing: 2018 Ray Rafaels

Mehka

22.55 €

Structured Parallel Programming Michael McCool

Mehka

58.57 €

Modern Compiler Implementation in C Andrew W Appel

Mehka

93.78 €

Python Algorithms Magnus Lie Hetland

Mehka

95.60 €

Algorithm Design Jon Kleinberg & Eva Tardos

Mehka

123.22 €

Software Architecture in Practice Len Bass

Mehka

61.51 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Trda

139.01 €

Learn Concurrent Programming with Go Cutajar

Mehka

61.71 €

Programming Models for Parallel Computing Pavan Balaji

Mehka

58.37 €

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

Mehka

12.13 €

Wie Raubkatzen René Clément

Blu-ray

21.95 €

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

Mehka

19.92 €

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

Mehka

9.70 €

Aristarch

Mehka

29.43 €

Gotlib, Une vie en dessins Marcel Gotlib

Trda

59.99 €

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Knjiga

15.47 €

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

Mehka

29.33 €

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

Mehka

15.67 €

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

Mehka

7.17 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Igra

8.39 €

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

Mehka

57.66 €

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.