The Construction, Proof and Analysis of Programmes (No. 1) - Brossura

Berlioux, Pierre; Bizard, Philippe

 
9780471908449: The Construction, Proof and Analysis of Programmes (No. 1)
Brossura
ISBN 10: 0471908444 ISBN 13: 9780471908449
Casa editrice: John Wiley & Sons Ltd, 1986

Sinossi

This book is for experienced programmers who wish to pursue the subject of programming at a more advanced level. In particular in the proof and analysis of programs. The main aim of the book is therefore to show how the construction, proof and analysis of programs are all closely linked. The book introduces the basic elements which allow formal proof and analysis of iterative programs to be carried out and introduces the concept of recursive programming. It also shows how a recursive program can be converted into an iterative program.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
John Wiley & Sons Ltd
Data di pubblicazione
1986
Lingua
Inglese
ISBN 10 
0471908444
ISBN 13 
9780471908449
Rilegatura
Copertina flessibile
Numero di pagine
156
Contatto del produttore
non disponibile
Persona responsabile
non disponibile