|
Help |
| Home - Science - Logic Temporal (Books) | |
e99 Online Shopping Mall
|
|
Help |
| Home - Science - Logic Temporal (Books) | |
| Back | 81-100 of 100 |
click price to see details click image to enlarge click link to go to the store
| 81. 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 | |
| 82. Functional temporal calculus versus temporal logic: An engineering approach (Report. Katholieke Universiteit Nijmegen. Faculteit der Wiskunde en Natuurwetenschappen. Sectie Informatica) by R. T Boute | |
| Unknown Binding: 28
Pages
(1985)
Asin: B0007BJKVC Canada | United Kingdom | Germany | France | Japan | |
| 83. 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 | |
| 84. 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 | |
| 85. 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 | |
| 86. 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 | |
| 87. Transforming temporal logic specifications (Technical report. Technische Universität Müchen. Institut für Informatik) by H Schlingloff | |
| Unknown Binding: 22
Pages
(1986)
Asin: B0007BGRDG Canada | United Kingdom | Germany | France | Japan | |
| 88. Modal and temporal logic programming (Research report. Imperial College of Science and Technology. Dept. of Computing) by Dov M Gabbay | |
| Unknown Binding: 24
Pages
(1986)
Asin: B0007BGXRQ Canada | United Kingdom | Germany | France | Japan | |
| 89. Equivalence of temporal interval logic and temporal logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby | |
| Unknown Binding: 8
Pages
(1986)
Asin: B00071GJCK Canada | United Kingdom | Germany | France | Japan | |
| 90. Regular expressions as temporal logic (Technical report. Monash University. Department of Computer Science) by Christopher Stuart | |
| Unknown Binding: 28
Pages
(1986)
Asin: B0007B6HFE Canada | United Kingdom | Germany | France | Japan | |
| 91. Comparing linear and branching time temporal logics (LFCS report series. University of Edinburgh. Department of Computer Science. Laboratory of Foundations of Computer Science) by Colin Sterling | |
| Unknown Binding: 21
Pages
(1987)
Asin: B0007BFAKM Canada | United Kingdom | Germany | France | Japan | |
| 92. Artificial Intelligence for Open Multimedia Networking: Active Control, Temporal Planning and Logics (Frontiers in Artificial Intelligence & Applications) | |
| Hardcover: 250
Pages
Isbn: 1586031422 Canada | United Kingdom | Germany | France | Japan | |
| 93. Automatic and hierarchical verification of asynchronous circuits using temporal logic by B Mishra | |
| Unknown Binding: 27
Pages
(1983)
Asin: B0006YKFCS Canada | United Kingdom | Germany | France | Japan | |
| 94. Compiling temporal logic specifications into observers =: Compiler des speÌcifications exprimeÌes en logique temporelle vers des observateurs (Rapports ... Recherche en Informatique et en Automatique) by Omar Drissi-Kaitouni | |
| Unknown Binding: 19
Pages
(1988)
Asin: B0007BUDJK Canada | United Kingdom | Germany | France | Japan | |
| 95. 4th Workshop on Temporal Representation and Reasoning, Time '97 by Fla.) International Workshop on Temporal Representation and Reasoning (4th : 1997 : Daytona Beach | |
| Hardcover: 187
Pages
(1998-01)
list price: US$60.00 Isbn: 0818679379 Canada | United Kingdom | Germany | France | Japan | |
|
Editorial Review Product Description | |
| 96. Gorski: Temporal Logic | |
| Hardcover:
Pages
Isbn: 0471929840 Canada | United Kingdom | Germany | France | Japan | |
| 97. The treatment of macro expansions in the temporal logic of parallel programs (Technical report. Technische Universität München. Institut für Informatik) by A Kausche | |
| Unknown Binding: 34
Pages
(1985)
Asin: B0007BHBAE Canada | United Kingdom | Germany | France | Japan | |
| 98. Temporal logics, automata, and classical theories for defining real-time languages (Report) by T. A Henzinger | |
| Unknown Binding: 71
Pages
(1999)
Asin: B0006S3CYW Canada | United Kingdom | Germany | France | Japan | |
| 99. A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science) by Jozef Hooman | |
| Unknown Binding: 24
Pages
(1988)
Asin: B00071OW0G Canada | United Kingdom | Germany | France | Japan | |
| 100. A taxonomy of fairness and temporal logic problems for Petri nets (Technical report. Iowa State University. Dept. of Computer Science) by Rodney R Howell | |
| Unknown Binding:
Pages
(1988)
Asin: B00071N5EA Canada | United Kingdom | Germany | France | Japan | |
| Back | 81-100 of 100 |