Verwandte Artikel zu The Construction, Proof and Analysis of Programmes...
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.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagJohn Wiley & Sons Ltd
- Erscheinungsdatum1986
- ISBN 10 0471908444
- ISBN 13 9780471908449
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten156
- Kontakt zum HerstellerNicht verfügbar
EUR 4,01
EUR 6,55 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für The Construction, Proof and Analysis of Programmes...
Beispielbild für diese ISBN
Algorithms: The Construction, Proof, and Analysis of Programs
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,350grams, ISBN:0471908444. Artikel-Nr. 8677211
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms: The Construction, Proof, and Analysis of Programs
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:0471908444. Artikel-Nr. 8677210
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms : The Construction, Proof and Analysis of Programs
Verlag:
Wiley & Sons, Incorporated, John, 1986
ISBN 10: 0471908444
ISBN 13: 9780471908449
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Artikel-Nr. GRP84214539
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms: The Construction, Proof, and Analysis of Programs: No. 1
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:0471908444. Artikel-Nr. 5832970
Anzahl: 1 verfügbar