e99 Online Shopping Mall

Geometry.Net - the online learning center Help  
Home  - Science - Temporal Logic (Books)

  Back | 81-100 of 100
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

click price to see details     click image to enlarge     click link to go to the store

 
81. Automatic verification of finite
 
82. Two methods for checking formulas
 
83. Engineering of Computer Based
 
84. Modal and temporal logics (LFCS
 
85. On-line model-checking for finite
 
86. Reasoning in interval temporal
 
87. Sy-Control: A tool for syntactic
 
88. The Temporal Logic Of Reactive
 
89. Executable Modal and Temporal
 
90. Temporal reasoning and default
 
91. On the semantics of temporal logic
 
92. Model checking is refinement:
 
93. Modal and temporal logics for
 
94. Propositional temporal interval
 
95. A modal temporal logic for reasoning
 
96. Moments and points in an interval-based
 
97. Control of discrete event systems
 
98. Verifying concurrent prcesses
 
99. Alternating automata and the exponential
 
100. Adding temporal logic to ina jo

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
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

site stats