Software Reliability Methods

Name: Software Reliability Methods
Brand: Springer-Verlag New York Inc.
SKU: 9780387951065
Price: 21988 HUF
Availability: InStock

Szerző: Doron A. Peled, Edmund M. Clarke

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 10-16 napon belül

21 988 Ft

This book presents current methods for dealing with software reliability. It compares between these...

Információk a könyvről

Szerző

Doron A. Peled, Edmund M. Clarke

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2001

oldal

332

EAN

9780387951065

ISBN

0387951067

Enbook ID

01384259

Kiadó

Springer-Verlag New York Inc.

Súly

672

Méretek

238 x 164 x 26

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Software Reliability Methods

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták