Temporal Logic of Reactive and Concurrent Systems

Specification

Amir Pnueli, Zohar Manna

PDF
ca. 56,36 €
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer New York img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Hardware

Beschreibung

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

Weitere Titel in dieser Kategorie
Cover Dancing with Qubits
Dancing with Qubits
Robert S. Sutor
43,61 €
Cover Charged Bodies
Charged Bodies
Thomas Mahon
23,75 €
Cover Charged Bodies
Charged Bodies
Thomas Mahon
23,75 €
Cover Inductive Logic Programming
Inductive Logic Programming
Stephen H. Muggleton
56,20 €

Kundenbewertungen