Geometry.Net - Science Books: Temporal Logic

e99 Online Shopping Mall

	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 BuÌˆ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.