Logo - springer
Slogan - springer

Engineering | Konstruktion guter Algorithmen - Sichere und korrekte Software

Konstruktion guter Algorithmen

Sichere und korrekte Software

1996, 300 S.

Formate:
eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

 
$49.99

(net) Preis für USA

ISBN 978-3-663-10517-6

versehen mit digitalem Wasserzeichen, kein DRM

Erhältliche Formate: PDF

sofortiger Download nach Kauf


mehr Information zu Springer eBooks

add to marked items

Softcover
Information

Broschierte Ausgabe

Springer-Bücher können mit Visa, Mastercard, American Express, Paypal sowie auf Rechnung bezahlt werden.

Standard-Versand ist für Individualkunden kostenfrei.

 
$69.99

(net) Preis für USA

ISBN 978-3-519-02990-8

kostenfreier Versand für Individualkunden

gewöhnlich versandfertig in 3-5 Werktagen


add to marked items

  • Über dieses Buch

Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung.

Content Level » Professional/practitioner

Stichwörter » Informatik & Praxis

Verwandte Fachbereiche » Technik

Inhaltsverzeichnis 

Problemorientierte Programmkonstruktion: Top-Down-Konstruktion, Bottom-Up-Verifikation - Maschinenabhängige Programmkodierung: Kodierung, Hilfsmittel und Objekt-orientierte Methodik, Testen und Programmsicherheit - Formale Basis des Programmierens - Prinzipielle Methoden der Programmierung

Beliebte Inhalte dieser Publikation 

 

Articles

Dieses Buch auf Springerlink lesen

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Technik (allgemein).