Mohlo by sa vám tiež páčiť

Viac informácií o knihe Software Reliability Methods

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Software Reliability Methods
• Autor: Doron A. Peled, Edmund M. Clarke
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 332
• EAN: 9780387951065
• ISBN: 0387951067
• ID: 01384259
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 672 g
• Rozmery: 164 × 238 × 26 mm
• Dátum vydania: 26. June 2001

Obľúbené z iného súdka

---

---

---