Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Software Reliability Methods

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

Doron A. Peled

Edmund M. Clarke

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01384259

Verlag Springer-Verlag New York Inc., Juni 2001

This book presents current methods for dealing with software reliability. It compares between these... Vollständige Beschreibung

Libristo-Code: 01384259

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Documenting Software Architectures Paul Clements

Hardcover

71.29 €

Introduction to Software Testing Paul Ammann

Hardcover

90.99 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Hardcover

78.89 €

Cloud Computing: 2018 Ray Rafaels

Broschur

24.79 €

Structured Parallel Programming Michael McCool

Broschur

68.79 €

Modern Compiler Implementation in C Andrew W Appel

Broschur

101.99 €

Python Algorithms Magnus Lie Hetland

Broschur

103.89 €

Algorithm Design Jon Kleinberg & Eva Tardos

Broschur

134.39 €

Software Architecture in Practice Len Bass

Broschur

67.99 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardcover

151.69 €

Learn Concurrent Programming with Go Cutajar

Broschur

66.79 €

Programming Models for Parallel Computing Pavan Balaji

Broschur

63.49 €

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

Broschur

13.19 €

Wie Raubkatzen René Clément

Blu-ray

23.89 €

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

Broschur

22.49 €

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

Broschur

11.49 €

Aristarch

Broschur

34.90 €

Gotlib, Une vie en dessins Marcel Gotlib

Hardcover

67.69 €

vangelo di Maria Myriam di Magdala Jean-Yves Leloup

Buch

17.69 €

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

Broschur

33.69 €

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

Broschur

17.69 €

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

Broschur

8.29 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Spiel

9.49 €

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

Broschur

66.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Software Reliability Methods

Autor Doron A. Peled, Edmund M. Clarke

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 332

EAN 9780387951065

ISBN 0387951067

Libristo-Code 01384259

Verlag Springer-Verlag New York Inc.

Gewicht 672

Abmessungen 238 x 164 x 26

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert