11 Bücher
Wissenschaftliche LiteraturAbstraktion
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Ruggero Costantini
Abstraktion in ereignisbasierten Modellen verteilter Systeme
Ein Beitrag zum formalen Entwurf verteilter Systeme
Forschungsergebnisse zur Informatik
Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…
AbstraktionsoperatorFlussereignisstrukturImplementierungInformatikKonfigurationsstrukturKorrektheitskriteriumSpracheVerifikationHäufige Schlagworte im Fachgebiet
BildungChinaControllingDDRDatenschutzDigitalisierungEthikEuropaEuroparechtEuropäische UnionGesellschaftsrechtGlobalisierungHaftungIdentitätInnovationInsolvenzrechtIntegrationInternetJugendlicheKommunikationKonsumentenverhaltenKooperationMotivationNachhaltigkeitNationalsozialismusRechnungslegungRusslandSchuleSteuerrechtUSA