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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Software Reliability Methods

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

136 b

55.39 € inkl. MwSt.

Externes Lager Wir versenden in 10-16 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Python Algorithms Magnus Lie Hetland

Broschur

94.49 €

Introduction to Software Testing Paul Ammann

Hardcover

83.59 €

Fault-Tolerant Message-Passing Distributed Systems Michel Raynal

Hardcover

74.79 €

Structured Parallel Programming Michael McCool

Broschur

52.49 €

Modern Compiler Implementation in C Andrew W Appel

Broschur

92.69 €

Documenting Software Architectures Paul Clements

Hardcover

67.29 €

Cloud Computing: 2018 Ray Rafaels

Broschur

22.29 €

Algorithm Design Jon Kleinberg & Eva Tardos

Broschur

127.99 €

Programming Models for Parallel Computing Pavan Balaji

Broschur

60.59 €

Software Architecture in Practice Len Bass

Broschur

60.79 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardcover

140.39 €

Learn Concurrent Programming with Go Cutajar

Broschur

63.89 €

Gotlib, Une vie en dessins Marcel Gotlib

Hardcover

58.19 €

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

Broschur

35.19 €

Wie Raubkatzen René Clément

Blu-ray

22.79 €

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

Broschur

11.09 €

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

Broschur

18.59 €

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

Broschur

42.19 €

Aristarch

Broschur

34.90 €

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

Broschur

35.29 €

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

Broschur

15.19 €

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

Broschur

11.99 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Spiel

9.79 €

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

Broschur

23.29 €

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