Vor Ort
Merkzettel Warenkorb
  • Produktbild: Advances in Temporal Logic
  • Produktbild: Advances in Temporal Logic
Band 16 - 12%

Advances in Temporal Logic

Aus der Reihe Applied Logic Series
12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.1999

Herausgeber

Howard Barringer + weitere

Verlag

Springer Netherland

Seitenzahl

453

Maße (L/B/H)

24,1/16/3 cm

Gewicht

830 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-6149-7

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.1999

Herausgeber

Verlag

Springer Netherland

Seitenzahl

453

Maße (L/B/H)

24,1/16/3 cm

Gewicht

830 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-6149-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Advances in Temporal Logic
  • Produktbild: Advances in Temporal Logic
  • A Hierarchy of Modal Event Calculi: Expressiveness and Complexity; I. Cervesato, et al. Release Logics for Temporalizing Dynamic Logic; J. Krabbendam, J.-J. Meyer. Compositional Verification of Timed Statecharts; F. Levi. Temporal Logic for Stabilizing Systems; Y. Lakhnech, M. Siegel. Decidable Theories of omega-Layered Metric Temporal Structures; A. Montanari, et al. Synthesis with Incomplete Information; O. Kupferman, M. Vardi. Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study; N.S. Bjørner, et al. Using Otter for Temporal Resolution; C. Dixon. Guiding Clausal Temporal Resolution; M. Fisher, C. Dixon. Determinism and the Origins of Temporal Logic; T. Bräuner, et al. Modelling Linguistic Events; M. Leith, J. Cunningham. A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language; R. Naumann. A Decidable Temporal Logic for Temporal Propositions; I. Pratt, N. Francez. Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations; A. Galton. A Modal Logic of Durative Actions; I. Nunes, et al. About Real Time, Calendar Systems and Temporal Notions; H.J. Ohlbach. A Model Checking Algorithm for pi-Calculus Agents; S. Gnesi, G. Ristori. Interleaving Model and Verification of Distributed Probabilistic Real-Time Systems; T. Luo, et al. Constructive Interval Temporal Logic in Alf; S. Thompson. Two-dimensional Executable Temporal Logic for Bitemporal Databases; M. Finger, M. Reynolds. Execution and Proof in a Horn-Clause Temporal Logic; C. Dixon, et al. Specification and Prototyping of Structures Multimedia Documents using Interval Temporal Logic; H. Bowman, et al.