Software Reliability Methods

Name: Software Reliability Methods
Brand: Springer-Verlag New York Inc.
SKU: 9781441928764
Price: 271.62 RON
Availability: InStock

Autor: Doron A. Peled, E.M. Clarke

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag New York Inc.

Disponibilitate: În depozitul extern

Expediem în 8-11 zile

271.62 lei

This book presents current methods for dealing with software reliability, illustrating the advantage...

Informații despre carte

Autor

Doron A. Peled, E.M. Clarke

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2011

Pagini

332

EAN

9781441928764

ISBN

1441928766

Enbook ID

01421622

Editura

Springer-Verlag New York Inc.

Greutate

545

Dimensiuni

155 x 235 x 20

Descriere completă

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Software Reliability Methods

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și