e99 Online Shopping Mall
Help | |
Home - Science - Temporal Logic (Books) |
  | Back | 81-100 of 100 |
click price to see details click image to enlarge click link to go to the store
81. Automatic verification of finite state concurrent systems using temporal logic specifications (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Edmund Melson Clarke | |
Unknown Binding: 22
Pages
(1985)
Asin: B00071IKIQ Canada | United Kingdom | Germany | France | Japan | |
82. Two methods for checking formulas of temporal logic (Report) by Hugh W McGuire | |
Unknown Binding: 144
Pages
(1995)
Asin: B0006FA9CI Canada | United Kingdom | Germany | France | Japan | |
83. Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On by IEEE Computer Society Staff | |
Paperback:
Pages
(2003-01-01)
Asin: B003Q5QF3M Canada | United Kingdom | Germany | France | Japan | |
84. Modal and temporal logics (LFCS report series) by Colin Stirling | |
Unknown Binding: 85
Pages
(1991)
Asin: B0000COKZI Canada | United Kingdom | Germany | France | Japan | |
85. On-line model-checking for finite linear temporal logic specifications (Rapports de recherche) by Claude Jard | |
Unknown Binding: 14
Pages
(1989)
Asin: B0007BWXIO Canada | United Kingdom | Germany | France | Japan | |
86. Reasoning in interval temporal logic (Report / Stanford University. Dept. of Computer Science) by Ben Moszkowski | |
Unknown Binding: 18
Pages
(1983)
Asin: B0006YJ7PO Canada | United Kingdom | Germany | France | Japan | |
87. Sy-Control: A tool for syntactic control in temporal logic (PATH technical note) by Akash Deshpande | |
Unknown Binding: 14
Pages
(1994)
Asin: B0006P9A0U Canada | United Kingdom | Germany | France | Japan | |
88. The Temporal Logic Of Reactive And Concurrent Systems by Zohar Manna | |
Hardcover:
Pages
(1991-01-01)
Asin: B003Q9STFU Canada | United Kingdom | Germany | France | Japan | |
89. Executable Modal and Temporal Logics by Michael Fisher | |
Paperback:
Pages
(2007)
Asin: B003QAAUE2 Canada | United Kingdom | Germany | France | Japan | |
90. Temporal reasoning and default logics (Research report. Yale University. Dept. of Computer Science) by Steve Hanks | |
Unknown Binding: 118
Pages
(1985)
Asin: B00071A31S Canada | United Kingdom | Germany | France | Japan | |
91. On the semantics of temporal logic programming (preliminary report) (Report / Stanford University, Computer Science Dept) by Marianne Baudinet | |
Unknown Binding: 30
Pages
(1988)
Asin: B0006ESAX4 Canada | United Kingdom | Germany | France | Japan | |
92. Model checking is refinement: Relating Büchi testing and linear-time temporal logic (ICASE report) by Rance Cleaveland | |
Unknown Binding: 20
Pages
(2000)
Asin: B0006RSKQI Canada | United Kingdom | Germany | France | Japan | |
93. Modal and temporal logics for processes (LFCS report series) by Colin Stirling | |
Unknown Binding: 64
Pages
(1992)
Asin: B0000COKY4 Canada | United Kingdom | Germany | France | Japan | |
94. Propositional temporal interval logic is PSPACE (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby | |
Unknown Binding: 19
Pages
(1987)
Asin: B00071BWTA Canada | United Kingdom | Germany | France | Japan | |
95. A modal temporal logic for reasoning about changing databases with applications to natural language questions answering (MS-CIS. University of Pennsylvania. ... Moore School of Electrical Engineering) by Eric Mays | |
Unknown Binding: 129
Pages
(1985)
Asin: B00071665U Canada | United Kingdom | Germany | France | Japan | |
96. Moments and points in an interval-based temporal logic (Technical report. University of Rochester. Dept. of Computer Science) by James Allen | |
Unknown Binding: 32
Pages
(1987)
Asin: B00071AC4G Canada | United Kingdom | Germany | France | Japan | |
97. Control of discrete event systems in temporal logic (PATH technical note) by Akash Deshpande | |
Unknown Binding: 39
Pages
(1994)
Asin: B0006P9AEQ Canada | United Kingdom | Germany | France | Japan | |
98. Verifying concurrent prcesses [sic] using temporal logic (Technical report) by Brent T Hailpern | |
Unknown Binding:
Pages
(1980)
Asin: B0006Y11S0 Canada | United Kingdom | Germany | France | Japan | |
99. Alternating automata and the exponential decidability of an extended branching time temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. ... Informatique Theorique et Programmation) by D. E Muller | |
Paperback: 6
Pages
(1986)
Asin: B0007BES14 Canada | United Kingdom | Germany | France | Japan | |
100. Adding temporal logic to ina jo by Jeannette Marie Wing | |
Unknown Binding: 55
Pages
(1985)
Asin: B0006YXGPQ Canada | United Kingdom | Germany | France | Japan | |
  | Back | 81-100 of 100 |