Logische Und Methodische Grundlagen Der Entwicklung Verteilter Systeme: Unter Mitarbeit Von Alexander Malkis [German]

by Manfred Broy

Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bew ltigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ans tze und Methoden entwickelt, die in zwei B nden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erl utert werden. Der erste Band widmet sich der Spezifikationen...

• Format: Paperback
• Language: German
• ISBN: 3662673169
• ISBN13: 9783662673164
• Release Date: April 2023
• Publisher: Springer Vieweg
• Length: 460 Pages
• Weight: 1.66 lbs.
• Dimensions: 1.0" x 6.7" x 9.6"