Software Reliability Methods

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

Автор: Doron A. Peled, Edmund M. Clarke

Език:

Корици: С твърди корици

Издател: Springer-Verlag New York Inc.

Наличност: Външен склад в ограничено количество

Изпращаме след 13-18 дни

59.31 € 116.00 лв

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

Информация за книгата

Автор

Doron A. Peled, Edmund M. Clarke

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2001

страници

332

EAN

9780387951065

ISBN

0387951067

Enbook ID

01384259

Издател

Springer-Verlag New York Inc.

Теглоt

672

Размери

238 x 164 x 26

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Software Reliability Methods

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също