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.
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.
EUR 6,55 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerEUR 2,30 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: Anybook.com, Lincoln, Vereinigtes Königreich
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
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
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
Anbieter: Better World Books, Mishawaka, IN, USA
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
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. pp. 156. Bestandsnummer des Verkäufers 183047986
Anzahl: 1 verfügbar
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
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
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 156. Bestandsnummer des Verkäufers 263047992
Anzahl: 1 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. 156. Bestandsnummer des Verkäufers 5848551
Anzahl: 1 verfügbar
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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
Anbieter: Basi6 International, Irving, TX, USA
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
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Paperback. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book. Bestandsnummer des Verkäufers ERICA82704719084443
Anzahl: 1 verfügbar