Hailpern, B. T.: Verifying Concurrent Processes Using Temporal Logic
Hersteller: Springer / EAN-Nummer: 9783540112051
TOP PREIS!
Anbieter: Studibuch-Shop-G
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, B...
"Verifying Concurrent Processes Using Temporal Logic" von B. T. Hailpern ist ein akademisches Buch, das sich auf die Anwendung der zeitlichen Logik zur Überprüfung gleichzeitiger Prozesse in der Informatik konzentriert. Es bietet eine umfassende Einführung in die Theorie und Praxis der Verifikation von gleichzeitigen Systemen mit Hilfe von temporären Logiken. Das Buch beginnt mit einer gründlichen Erörterung grundlegender Konzepte und Techniken, bevor es zu komplexeren Themen wie der Modellierung und Analyse von Gleichzeitigkeit übergeht. Es enthält auch zahlreiche Beispiele und Übungen, um das Verständnis des Lesers zu vertiefen. Dieses Werk ist ein wertvolles Ressource für Forscher und Studenten in den Bereichen Informatik und Softwaretechnik, die an der Entwicklung sicherer und effizienter paralleler Systeme arbeiten. [...]
Preis: 20,06 Euro (+ Versandkosten 0,00 Euro)
ID: 23904009037
Anbieter: Averdo
Hailpern, B. T.: Verifying Concurrent Processes Using Temporal Logic
Verifying Concurrent Processes Using Temporal Logic
Preis: 40,02 Euro (+ Versandkosten 0,00 Euro)
ID: 15350603500
Schlagworte der gewählten Anbieter-Kategorien:
mit, de, im, des, to, von, für, die, der, und, of, and, in, the, das, zur, press, springer, ein, gmbh, verlag, publishing, eine, band, entertainment, co, edition, den, books, studium, an, history, systems, john, michael, del, on, fachbücher, en, la, for, nachschlagen, lernen, erwachsenenbildung, wiley