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

Berlioux, Pierre; Bizard, Philippe

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
John Wiley & Sons Ltd
Erscheinungsdatum
1986
Sprache
Englisch
ISBN 10 
0471908444
ISBN 13 
9780471908449
Einband
Taschenbuch
Anzahl der Seiten
156
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar