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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Reliability Methods

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

129 b

52.59 € inkl. MwSt.

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

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Python Algorithms Magnus Lie Hetland

Broschur

89.69 €

Introduction to Software Testing Paul Ammann

Hardcover

79.89 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Hardcover

70.59 €

Cloud Computing: 2018 Ray Rafaels

Broschur

24.79 €

Structured Parallel Programming Michael McCool

Broschur

49.89 €

Modern Compiler Implementation in C Andrew W Appel

Broschur

88.09 €

Documenting Software Architectures Paul Clements

Hardcover

59.39 €

Algorithm Design Jon Kleinberg & Eva Tardos

Broschur

121.79 €

Programming Models for Parallel Computing Pavan Balaji

Broschur

57.69 €

Software Architecture in Practice Len Bass

Broschur

57.29 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardcover

130.29 €

Learn Concurrent Programming with Go Cutajar

Broschur

61.99 €

Gotlib, Une vie en dessins Marcel Gotlib

Hardcover

55.59 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Spiel

7.89 €

Wie Raubkatzen René Clément

Blu-ray

21.99 €

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

Broschur

10.49 €

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

Broschur

17.89 €

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

Broschur

40.09 €

Aristarch

Broschur

34.90 €

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

Spielzeug

41.09 €

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

Broschur

33.19 €

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

Broschur

11.39 €

Vierhändige Tastenträume 2 Anne Terzibaschitsch

Blatt

14.80 €

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

Broschur

34.90 €

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