Ingo dittmer (15 risultati)

Broschiert. Condizione: Gut. 300 S. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 455. …

Broschiert. Condizione: Sehr gut. 23cm 300 Seiten. Broschiert. Zustand: Sehr Gut eher ungelesen; Besitzerstempel; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.…

Condizione: New.

Paperback. Condizione: new. Paperback. Dieses Buch ist ein Lehrbuch fuer schnelle, effiziente und korrekte Pro- p;rammierung. Es werden Verfahren vorgestellt, die es ermoeglichen, sprach- und maschinenunabhaengig zu programmieren, und eine Me- thode, mit der zweifelsfrei bewiesen werden kann, dass die so entwickel- ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up- Verifikation dargestellt. Es wird auf die UEbertragung in gaengige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati- sche Testmethoden werden ebenfalls kurz beschrieben. Einen grossen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program- mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Grosser Wert wird darauf gelegt, dass das Buch gut lesbar und verstaend- lich ist und alle Verfahren und Algorithmen ausfuehrlich erlaeutert wer- den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabrueck haelt. Es ist aber nicht nur fuer Studenten geeignet, sondern auch fuer den Prak- tiker. In den Abschnitten ueber Motivation und Sensibilisierung wird nachvollziehbar begruendet, warum nicht nur Profis die beschriebene Me- thodik verwenden sollten, sondern sogar Hobby-Programmierer. Pro- grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Ergebnisse unvorhersehbar machen. Dieses Buch ist ein Lehrbuch fAr schnelle, effiziente und korrekte ProA p;rammierung. Es werden Verfahren vorgestellt, die es ermAglichen, sprach- und maschinenunabhAngig zu programmieren, und eine MeA thode, mit der zweifelsfrei bewiesen werden kann, daAY die so entwickelA ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-UpA Verifikation dargestellt. Es wird auf die Aoebertragung in gAngige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. SystematiA sche Testmethoden werden ebenfalls kurz beschrieben. Einen groAYen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches ProgramA mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. GroAYer Wert wird darauf gelegt, daAY das Buch gut lesbar und verstAndA lich ist und alle Verfahren und Algorithmen ausfAhrlich erlAutert werA den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule OsnabrAck hAlt. Es ist aber nicht nur fAr Studenten geeignet, sondern auch fAr den PrakA tiker. In den Abschnitten Aber Motivation und Sensibilisierung wird nachvollziehbar begrAndet, warum nicht nur Profis die beschriebene MeA thodik verwenden sollten, sondern sogar Hobby-Programmierer. ProA grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Erge Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Neuware.

Paperback. Condizione: new. Paperback. Dieses Buch ist ein Lehrbuch fuer schnelle, effiziente und korrekte Pro- p;rammierung. Es werden Verfahren vorgestellt, die es ermoeglichen, sprach- und maschinenunabhaengig zu programmieren, und eine Me- thode, mit der zweifelsfrei bewiesen werden kann, dass die so entwickel- ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up- Verifikation dargestellt. Es wird auf die UEbertragung in gaengige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati- sche Testmethoden werden ebenfalls kurz beschrieben. Einen grossen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program- mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Grosser Wert wird darauf gelegt, dass das Buch gut lesbar und verstaend- lich ist und alle Verfahren und Algorithmen ausfuehrlich erlaeutert wer- den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabrueck haelt. Es ist aber nicht nur fuer Studenten geeignet, sondern auch fuer den Prak- tiker. In den Abschnitten ueber Motivation und Sensibilisierung wird nachvollziehbar begruendet, warum nicht nur Profis die beschriebene Me- thodik verwenden sollten, sondern sogar Hobby-Programmierer. Pro- grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Ergebnisse unvorhersehbar machen. Dieses Buch ist ein Lehrbuch fAr schnelle, effiziente und korrekte ProA p;rammierung. Es werden Verfahren vorgestellt, die es ermAglichen, sprach- und maschinenunabhAngig zu programmieren, und eine MeA thode, mit der zweifelsfrei bewiesen werden kann, daAY die so entwickelA ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-UpA Verifikation dargestellt. Es wird auf die Aoebertragung in gAngige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. SystematiA sche Testmethoden werden ebenfalls kurz beschrieben. Einen groAYen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches ProgramA mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. GroAYer Wert wird darauf gelegt, daAY das Buch gut lesbar und verstAndA lich ist und alle Verfahren und Algorithmen ausfAhrlich erlAutert werA den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule OsnabrAck hAlt. Es ist aber nicht nur fAr Studenten geeignet, sondern auch fAr den PrakA tiker. In den Abschnitten Aber Motivation und Sensibilisierung wird nachvollziehbar begrAndet, warum nicht nur Profis die beschriebene MeA thodik verwenden sollten, sondern sogar Hobby-Programmierer. ProA grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Erge Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Taschenbuch. Condizione: Neu. Konstruktion guter Algorithmen | Sichere und korrekte Software | Ingo Dittmer | Taschenbuch | Informatik & Praxis | 300 S. | Deutsch | 1996 | Vieweg+Teubner Verlag | EAN 9783519029908 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condizione: Brand New. 300 pages. German language. 9.61x6.69x0.69 inches. In Stock. This item is printed on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 304 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 304 pp. Deutsch.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Problemorientierte Programmkonstruktion: Top-Down-Konstruktion, Bottom-Up-Verifikation - Maschinenabhaengige Programmkodierung: Kodierung, Hilfsmittel und Objekt-orientierte Methodik, Testen und Programmsicherheit - Formale Basis des Programmierens - Prinzip. …