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 & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 44,36
EUR 2,30 für den Versand innerhalb von/der 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. Bestandsnummer des Verkäufers 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. Bestandsnummer des Verkäufers 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. Bestandsnummer des Verkäufers GRP84214539
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 156. Bestandsnummer des Verkäufers 183047986
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. Bestandsnummer des Verkäufers 5832970
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 156. Bestandsnummer des Verkäufers 263047992
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 156. Bestandsnummer des Verkäufers 5848551
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms: The Construction, Proof, And Analysis Of Programs
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-118559
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms: The Construction, Proof, And Analysis Of Programs
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-99143
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithms: The Construction, Proof, and Analysis of Programs
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book. Bestandsnummer des Verkäufers ERICA82704719084443
Anzahl: 1 verfügbar