Error Free Software: Know How and Know Why of Program Correctness (Wiley Series in Software Engineering Practice) - Tapa dura

Baber, Robert L.

 
9780471930167: Error Free Software: Know How and Know Why of Program Correctness (Wiley Series in Software Engineering Practice)
Tapa dura
ISBN 10: 0471930164 ISBN 13: 9780471930167
Editorial: John Wiley & Sons Ltd, 1991

Sinopsis

Pressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Pressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
John Wiley & Sons Ltd
Año de publicación
1991
Idioma
Inglés
ISBN 10 
0471930164
ISBN 13 
9780471930167
Encuadernación
Tapa dura
Número de páginas
172
Contacto del fabricante
no disponible
Persona responsable
no disponible