|
|
books
| book details |
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme: Unter Mitarbeit von Alexander Malkis
By (author) Manfred Broy, Contributions by Alexander Malkis
|
| on special |
normal price: R 1 538.95
Price: R 1 461.95
|
| book description |
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 von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLAund prädikative Spezifikation.Dies schließt unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.
| product details |
Normally shipped |
Publisher | Springer Fachmedien Wiesbaden
Published date | 27 Apr 2023
Language | German
Format | Paperback / softback
Pages | 460
Dimensions | 240 x 168 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6626-7316-4
Readership Age |
BISAC | computers / general
| other options |
Normally shipped |
Readership Age |
Normal Price | R 1 993.95
Price | R 1 893.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
This is indeed a story of mercy and the redemption it offers.
|
|
Katie Daysh
Paperback / softback
384 pages
was: R 295.95
now: R 259.95
|
|
Victor Frankenstein driven by the mad dream of creating his own creature, experiments with alchemy and science to build a monster stitched together from dead remains.
|
|
Mary Shelley
Paperback / softback
112 pages
was: R 285.95
now: R 251.95
|
York Notes Advanced offer a fresh and accessible approach to English Literature.
|
|
|
|
