Domain bildungsarmut.de kaufen?
Wir ziehen mit dem Projekt
bildungsarmut.de um.
Sind Sie am Kauf der Domain
bildungsarmut.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain bildungsarmut.de kaufen?
Formal Refinement for Operating System Kernels, Fachbücher von Iain D Craig
"Formal Refinement for Operating System Kernels" ist ein Fachbuch, das als Begleitwerk zu einem vorherigen Buch über die Modellierung von Betriebssystemkernen verfasst wurde. Es zeigt auf, dass die formale Ableitung von Kernen möglich und relativ einfach ist. Der Autor, Iain D. Craig, hat bereits mehrere Mikrokerne bis hin zu ausführbarem Code verfeinert und bietet in diesem Buch eine Sammlung formal spezifizierter Komponenten an, die zur Bildung von Kernen verwendet werden können. Das Buch enthält zwei Beispiele für diese Arbeit: einen bereits verfeinerten Kern und einen neuen Separation Kernel, der teilweise aus der bereitgestellten Komponentensammlung konstruiert wurde. Die Darstellung der Spezifikation und Verfeinerung dieser Kerne verdeutlicht die Wiederverwendbarkeit der Komponenten und die Effizienz des Verfeinerungsprozesses, der durch vorherige Erfahrungen optimiert wurde.
106,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Formal-Refinement-for-Operating
Top-Angebote
Produkte zum Begriff Formal-Refinement-for-Operating:
-
Formal Models of Operating System Kernels, Fachbücher von Iain D. Craig"Formal Models of Operating System Kernels" ist ein Fachbuch, das sich mit der theoretischen und praktischen Gestaltung von Betriebssystemkernen beschäftigt. Der Autor, Iain D. Craig, verfolgt in diesem Werk einen innovativen Ansatz zur Modellierung von Betriebssystemen, insbesondere im Hinblick auf die Klarheit und die Grundlagen des Kernel-Designs. Die Entstehung des Buches reicht bis in die frühen 2000er Jahre zurück, als der Autor erste Skizzen und Spezifikationen erarbeitete. Das Buch bietet eine umfassende Analyse und Diskussion über die Struktur und die Sicherheitsaspekte von Betriebssystemkernen. Es richtet sich an Fachleute und Studierende, die ein tieferes Verständnis für die formalen Modelle und deren Anwendung in der Betriebssystementwicklung erlangen möchten. Mit 333 Seiten bietet es eine detaillierte Auseinandersetzung mit den Herausforderungen und Lösungen im Bereich der Betriebssysteme und deren Kernarchitekturen.160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Information Refinement Technologies for Crisis Informatics, Fachbücher von Marc-André Kaufhold
Das Fachbuch "Information Refinement Technologies for Crisis Informatics" von Marc-André Kaufhold bietet eine umfassende Analyse der Erwartungen der Nutzer und der Designimplikationen für den Einsatz neuer Medien im Krisenmanagement. Der Autor entwickelt ein innovatives Rahmenwerk zur Informationsverfeinerung, das verschiedene Perspektiven auf Krisen integriert, darunter Ereignisse, Organisationen, Gesellschaften und Technologien. Durch eine eingehende Überprüfung des aktuellen Stands der Kriseninformatik untersucht Kaufhold empirisch die Nutzung, Potenziale und Herausforderungen von sozialen Medien und mobilen Anwendungen. Auf Grundlage dieser Erkenntnisse entwirft und bewertet er Konzepte und Artefakte der Informations- und Kommunikationstechnologie (IKT), um die Probleme von Informationsüberflutung und -qualität in grossangelegten Krisen zu adressieren. Das Buch schliesst mit praktischen und theoretischen Implikationen für die Anpassung und das Design von Technologien.
117,69 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Formal-Refinement-for-Operating:
-
Formal Refinement for Operating System Kernels, Fachbücher von Iain D Craig"Formal Refinement for Operating System Kernels" ist ein Fachbuch, das als Begleitwerk zu einem vorherigen Buch über die Modellierung von Betriebssystemkernen verfasst wurde. Es zeigt auf, dass die formale Ableitung von Kernen möglich und relativ einfach ist. Der Autor, Iain D. Craig, hat bereits mehrere Mikrokerne bis hin zu ausführbarem Code verfeinert und bietet in diesem Buch eine Sammlung formal spezifizierter Komponenten an, die zur Bildung von Kernen verwendet werden können. Das Buch enthält zwei Beispiele für diese Arbeit: einen bereits verfeinerten Kern und einen neuen Separation Kernel, der teilweise aus der bereitgestellten Komponentensammlung konstruiert wurde. Die Darstellung der Spezifikation und Verfeinerung dieser Kerne verdeutlicht die Wiederverwendbarkeit der Komponenten und die Effizienz des Verfeinerungsprozesses, der durch vorherige Erfahrungen optimiert wurde.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Formal Models of Operating System Kernels, Fachbücher von Iain D. Craig"Formal Models of Operating System Kernels" ist ein Fachbuch, das sich mit der theoretischen und praktischen Gestaltung von Betriebssystemkernen beschäftigt. Der Autor, Iain D. Craig, verfolgt in diesem Werk einen innovativen Ansatz zur Modellierung von Betriebssystemen, insbesondere im Hinblick auf die Klarheit und die Grundlagen des Kernel-Designs. Die Entstehung des Buches reicht bis in die frühen 2000er Jahre zurück, als der Autor erste Skizzen und Spezifikationen erarbeitete. Das Buch bietet eine umfassende Analyse und Diskussion über die Struktur und die Sicherheitsaspekte von Betriebssystemkernen. Es richtet sich an Fachleute und Studierende, die ein tieferes Verständnis für die formalen Modelle und deren Anwendung in der Betriebssystementwicklung erlangen möchten. Mit 333 Seiten bietet es eine detaillierte Auseinandersetzung mit den Herausforderungen und Lösungen im Bereich der Betriebssysteme und deren Kernarchitekturen.160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Formal-Refinement-for-Operating
-
Information Refinement Technologies for Crisis Informatics, Fachbücher von Marc-André KaufholdDas Fachbuch "Information Refinement Technologies for Crisis Informatics" von Marc-André Kaufhold bietet eine umfassende Analyse der Erwartungen der Nutzer und der Designimplikationen für den Einsatz neuer Medien im Krisenmanagement. Der Autor entwickelt ein innovatives Rahmenwerk zur Informationsverfeinerung, das verschiedene Perspektiven auf Krisen integriert, darunter Ereignisse, Organisationen, Gesellschaften und Technologien. Durch eine eingehende Überprüfung des aktuellen Stands der Kriseninformatik untersucht Kaufhold empirisch die Nutzung, Potenziale und Herausforderungen von sozialen Medien und mobilen Anwendungen. Auf Grundlage dieser Erkenntnisse entwirft und bewertet er Konzepte und Artefakte der Informations- und Kommunikationstechnologie (IKT), um die Probleme von Informationsüberflutung und -qualität in grossangelegten Krisen zu adressieren. Das Buch schliesst mit praktischen und theoretischen Implikationen für die Anpassung und das Design von Technologien.117,69 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.