Domain computer-data.de kaufen?
Wir ziehen mit dem Projekt
computer-data.de um.
Sind Sie am Kauf der Domain
computer-data.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain computer-data.de kaufen?
Logics in Computer Science, Fachbücher von Fabio Mogavero
Das Buch "Logics in Computer Science" von Fabio Mogavero bietet eine umfassende Einführung in vier neuartige temporale Logikformalisierungen, die als Spezifikationssprachen für die automatisierte Verifikation der Zuverlässigkeit von Hardware- und Softwaredesigns dienen. Die Monographie ist in zwei Hauptteile gegliedert. Der erste Teil behandelt zwei Logiken für Berechnungen, nämlich die graduierte Berechnungbaumlogik und die Berechnungbaumlogik mit minimalen Modellquantoren. Diese Logiken haben sich als nützlich erwiesen, um korrekte Ausführungen monolithischer geschlossener Systeme zu beschreiben. Der zweite Teil konzentriert sich auf Logiken für Strategien, einschliesslich der Strategielogik und der speicherfähigen alternierenden temporalen Logik, die erfolgreich zur Formalisierung verschiedener Eigenschaften interaktiver Spiele in Multi-Entitäten-Systemen eingesetzt wurden, die als Mehragentenspiele modelliert sind.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Logics-in-Computer
Top-Angebote
Produkte zum Begriff Springer-Logics-in-Computer:
-
Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Hardcover, Lech T. Polkowski) (9783030916794)Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Hardcover, Lech T. Polkowski) (9783030916794)192,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Softcover, Lech T Polkowski, Lech T. Polkowski) (56909362)Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Softcover, Lech T Polkowski, Lech T. Polkowski) (56909362)192,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Springer-Logics-in-Computer:
-
Logics in Computer Science, Fachbücher von Fabio MogaveroDas Buch "Logics in Computer Science" von Fabio Mogavero bietet eine umfassende Einführung in vier neuartige temporale Logikformalisierungen, die als Spezifikationssprachen für die automatisierte Verifikation der Zuverlässigkeit von Hardware- und Softwaredesigns dienen. Die Monographie ist in zwei Hauptteile gegliedert. Der erste Teil behandelt zwei Logiken für Berechnungen, nämlich die graduierte Berechnungbaumlogik und die Berechnungbaumlogik mit minimalen Modellquantoren. Diese Logiken haben sich als nützlich erwiesen, um korrekte Ausführungen monolithischer geschlossener Systeme zu beschreiben. Der zweite Teil konzentriert sich auf Logiken für Strategien, einschliesslich der Strategielogik und der speicherfähigen alternierenden temporalen Logik, die erfolgreich zur Formalisierung verschiedener Eigenschaften interaktiver Spiele in Multi-Entitäten-Systemen eingesetzt wurden, die als Mehragentenspiele modelliert sind.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Hardcover, Lech T. Polkowski) (9783030916794)Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Hardcover, Lech T. Polkowski) (9783030916794)192,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Logics-in-Computer
-
Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Softcover, Lech T Polkowski, Lech T. Polkowski) (56909362)Springer Logics for Computer and Data Sciences, and Artificial Intelligence (Englisch, Softcover, Lech T Polkowski, Lech T. Polkowski) (56909362)192,59 €*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.