Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Langue

Anglais

Livre Livre relié

Code Libristo: 01384259

Éditeurs Springer-Verlag New York Inc., juin 2001

This book presents current methods for dealing with software reliability. It compares between these... Description détaillée

Code Libristo: 01384259

141 b

58.35 €

Stockage externe en petites quantités Expédition sous 13-18 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Python Algorithms Magnus Lie Hetland

Livre de poche

100.15 €

Introduction to Software Testing Paul Ammann

Livre relié

88.14 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Livre relié

75.52 €

Cloud Computing: 2018 Ray Rafaels

Livre de poche

23.72 €

Structured Parallel Programming Michael McCool

Livre de poche

66.02 €

Modern Compiler Implementation in C Andrew W Appel

Livre de poche

98.23 €

Documenting Software Architectures Paul Clements

Livre relié

67.94 €

Algorithm Design Jon Kleinberg & Eva Tardos

Livre de poche

129.43 €

Programming Models for Parallel Computing Pavan Balaji

Livre de poche

61.18 €

Software Architecture in Practice Len Bass

Livre de poche

65.01 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Livre relié

144.88 €

Learn Concurrent Programming with Go Cutajar

Livre de poche

64.51 €

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

Livre de poche

12.71 €

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

Livre de poche

10.89 €

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

Livre de poche

44.82 €

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

Livre de poche

21.70 €

Wie Raubkatzen René Clément

Blu-ray

23.01 €

Aristarch

Livre de poche

31.19 €

Mobile Suit Gundam G.M.G. Collection 11 Action Figure Earth Federation Mirai Yashima 10 cm Jeu/jouet

Jouet

41.49 €

Gotlib, Une vie en dessins Marcel Gotlib

Livre relié

65.52 €

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Livre

17.05 €

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

Livre de poche

32.50 €

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

Livre de poche

17.15 €

Vierhändige Tastenträume 2 Anne Terzibaschitsch

Feuille

12.61 €

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.