Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmieru [German]

by Manfred Broy

Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung an

Geht man beim Entwickeln von Programmen von einer informellen Problemstellung aus, erfordert das:

a) die Spezifikation des Programms unter Festlegung der Daten- und Rechenstrukturen.

b) die Implementierung.

c) die Verifikation der Korrektheit.

Um diese Aufgaben zu bew ltigen, hat die Informatik eine Reihe...

• Format: Paperback
• Language: German
• ISBN: 3658263016
• ISBN13: 9783658263010
• Release Date: June 2019
• Publisher: Springer Vieweg
• Length: 451 Pages
• Weight: 1.63 lbs.
• Dimensions: 0.9" x 6.7" x 9.6"