e99 Online Shopping Mall
Help | |
Home - Science - Temporal Logic (Books) |
  | Back | 61-80 of 100 | Next 20 |
click price to see details click image to enlarge click link to go to the store
61. A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur | |
Unknown Binding: 26
Pages
(1989)
Asin: B00071R13G Canada | United Kingdom | Germany | France | Japan | |
62. Alternating-time temporal logic (Memorandum) by Rajeev Alur | |
Unknown Binding: 33
Pages
(1998)
Asin: B0006QXYKG Canada | United Kingdom | Germany | France | Japan | |
63. Synchronization of multiagent plans using a temporal logic theorem prover (Technical note. SRI International) by Christopher Stuart | |
Unknown Binding: 70
Pages
(1985)
Asin: B00071HHKS Canada | United Kingdom | Germany | France | Japan | |
64. Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt | |
Unknown Binding: 13
Pages
(1986)
Asin: B0007BBMN6 Canada | United Kingdom | Germany | France | Japan | |
65. An improved algorithm for the automatic verification of finite state systems using temporal logic (Research report. Carnegie-Mellon University. Dept. of Computer Science) by Michael C Browne | |
Unknown Binding:
Pages
(1986)
Asin: B00070ZNNC Canada | United Kingdom | Germany | France | Japan | |
66. Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / UniversiteÌ P. et M. Curie, Laboratoire Informatique TheÌorique et Programmation) by Ana R Cavalli | |
Unknown Binding: 28
Pages
(1985)
Asin: B0007BL61O Canada | United Kingdom | Germany | France | Japan | |
67. Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective | |
Paperback: 72
Pages
(2010-01-26)
list price: US$41.00 Isbn: 613034970X Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
68. Temporal Logic by Dov M. Gabbay | |
Paperback:
Pages
(2000)
Asin: B000OLDMY6 Canada | United Kingdom | Germany | France | Japan | |
69. On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation) by D Perrin | |
Paperback:
Pages
(1986)
Asin: B0007B6LJG Canada | United Kingdom | Germany | France | Japan | |
70. A study of an extended temporal logic and a temporal fixed point calculus (Technical report series. University of Manchester. Dept. of Computer Science) by B Banieqbal | |
Unknown Binding: 27
Pages
(1986)
Asin: B0007BGWH2 Canada | United Kingdom | Germany | France | Japan | |
71. Protocol specification and verification using the significant event temporal logic (Technical report. University of British Columbia. Dept. of Computer Science) by George K Tsiknis | |
Unknown Binding:
Pages
(1988)
Asin: B0007BIQIK Canada | United Kingdom | Germany | France | Japan | |
72. The complementation problem for buchi automata with applications to temporal logic (Research Report RJ. International Business Machines Corporation. Research Division) by Aravinda Prasad Sistla | |
Unknown Binding: 28
Pages
(1986)
Asin: B000710K1G Canada | United Kingdom | Germany | France | Japan | |
73. Temporal Logic (LEP Library of Exact Philosophy) by Nicholas Rescher, Alasdair Urquhart | |
Hardcover:
Pages
(1971-08-18)
list price: US$39.00 Isbn: 3211809953 Canada | United Kingdom | Germany | France | Japan | |
74. On parallel programming methodology in GHC: Experience in programming of a proof procedure of temporal logic (Technical report. Institute for New Generation Computing Technology) by Kazuko Takahashi | |
Unknown Binding: 8
Pages
(1986)
Asin: B0007BE350 Canada | United Kingdom | Germany | France | Japan | |
75. 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 | |
76. A temporal logic for multi-level reasoning about hardware by Ben Moszkowski | |
Unknown Binding: 25
Pages
(1982)
Asin: B0006YL1LC Canada | United Kingdom | Germany | France | Japan | |
77. Characterising temporal logic (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher | |
Unknown Binding: 19
Pages
(1989)
Asin: B0007BRUYQ Canada | United Kingdom | Germany | France | Japan | |
78. Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003 by Mark Reynolds | |
Paperback:
Pages
(2003-01-01)
Asin: B000MUSXB6 Canada | United Kingdom | Germany | France | Japan | |
79. A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE (ICOT technical report) by Naoshi Uchihira | |
Unknown Binding: 21
Pages
(1989)
Asin: B0007BQQ50 Canada | United Kingdom | Germany | France | Japan | |
80. Temporal Logic by Dov M. Gabbay | |
Paperback:
Pages
(2007)
Asin: B003Q9Z610 Canada | United Kingdom | Germany | France | Japan | |
  | Back | 61-80 of 100 | Next 20 |