e99 Online Shopping Mall
Help | |
Home - Science - Logic Temporal (Books) |
  | Back | 41-60 of 100 | Next 20 |
click price to see details click image to enlarge click link to go to the store
41. Reasoning about the function and timing of integrated circuits with Prolog and temporal logic (Technical report. University of Cambridge. Computer Laboratory) by M. E Leeser | |
Unknown Binding: 45
Pages
(1988)
Asin: B0007BHNVQ Canada | United Kingdom | Germany | France | Japan | |
42. An introduction to the model theory of first-order predicate logic and a related temporal logic (Memorandum / Rand Corporation) by Robert Mattison | |
Unknown Binding: 65
Pages
(1969)
Asin: B0007G05OI Canada | United Kingdom | Germany | France | Japan | |
43. Decision procedures and expressiveness in the temporal logic of branching time (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by E. Allen Emerson | |
Unknown Binding: 24
Pages
(1985)
Asin: B00071FQHE Canada | United Kingdom | Germany | France | Japan | |
44. Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science) by MartiÌn Abadi | |
Unknown Binding: 161
Pages
(1987)
Asin: B00071GYQ6 Canada | United Kingdom | Germany | France | Japan | |
45. Characterizing Kripke structures in temporal logic (Research paper. Carnegie-Mellon University. Computer Science Department) by M. C Browne | |
Unknown Binding: 18
Pages
(1987)
Asin: B000715K1G Canada | United Kingdom | Germany | France | Japan | |
46. Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Hiromi Hiraishi | |
Unknown Binding: 19
Pages
(1988)
Asin: B00071KE9O Canada | United Kingdom | Germany | France | Japan | |
47. Problems concerning fairness and temporal logic for conflict-free petri nets (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Rodney R Howell | |
Unknown Binding: 25
Pages
(1987)
Asin: B00071ADWW Canada | United Kingdom | Germany | France | Japan | |
48. On the eventuality operator in temporal logic (Technical report. Yale University. Dept. of Computer Science) by Aravinda Prasad Sistla | |
Unknown Binding:
Pages
(1987)
Asin: B00071B8NU Canada | United Kingdom | Germany | France | Japan | |
49. Avoiding the state explosion problem in temporal logic model checking algorithms (Research paper. Carnegie Mellon University. Computer Science Dept) by E. M Clarke | |
Unknown Binding: 18
Pages
(1987)
Asin: B0007172CG Canada | United Kingdom | Germany | France | Japan | |
50. 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 | |
51. Temporal logics for abstract semantics (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher | |
Unknown Binding:
Pages
(1987)
Asin: B0007BI0U4 Canada | United Kingdom | Germany | France | Japan | |
52. Temporal logic for proof-carrying code ([Research paper] / Carnegie Mellon University. School of Computer Science) by Andrew Bernard | |
Unknown Binding: 37
Pages
(2002)
Asin: B0006S1WM6 Canada | United Kingdom | Germany | France | Japan | |
53. Synthesis of hardware elements from propositional temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby | |
Unknown Binding: 30
Pages
(1988)
Asin: B00071FVE2 Canada | United Kingdom | Germany | France | Japan | |
54. 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 | |
55. 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 | |
56. Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet | |
Unknown Binding: 14
Pages
(1988)
Asin: B00071K9U8 Canada | United Kingdom | Germany | France | Japan | |
57. 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 |
58. 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 | |
59. 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 | |
60. 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 | |
  | Back | 41-60 of 100 | Next 20 |