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 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Bis zu 30 Tage Rückgaberecht

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

58.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 €

Programming Models for Parallel Computing Pavan Balaji

Broschur

71.39 €

Software Architecture in Practice Len Bass

Broschur

67.99 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Hardcover

152.79 €

Learn Concurrent Programming with Go Cutajar

Broschur

60.29 €

Wie Raubkatzen René Clément

Blu-ray

23.89 €

PUS Czytanie ze zrozumieniem 4 - Wiersze Małgorzata Chromiak

Spiel

9.59 €

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

Broschur

22.29 €

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

Broschur

46.49 €

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

Broschur

11.49 €

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 €

Gotlib, Une vie en dessins Marcel Gotlib

Hardcover

67.59 €

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

Broschur

39.09 €

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

Broschur

13.19 €

El diario amarillo de Carlota Gemma Lienas

Broschur

16.59 €

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

Broschur

77.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