Software Reliability Methods

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

Autor: Doron A. Peled, Edmund M. Clarke

Jazyk:

Vazba: Pevná

Vydavatel: Springer-Verlag New York Inc.

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

1 311 Kč

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

Informace o knize

Autor

Doron A. Peled, Edmund M. Clarke

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2001

Stránek

332

EAN

9780387951065

ISBN

0387951067

Enbook ID

01384259

Vydavatel

Springer-Verlag New York Inc.

Hmotnost

672

Rozměry

238 x 164 x 26

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Software Reliability Methods

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také