e99 Online Shopping Mall
Help | |
Home - Science - Temporal Logic (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. Practical Formal Methods using Temporal Logic by Michael Fisher | |
Hardcover: 344
Pages
(2010-08-16)
list price: US$140.00 Isbn: 0470027886 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
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. 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 | |
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. 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 | |
46. 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 | |
47. 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 | |
48. 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 | |
49. 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 | |
50. 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 | |
51. Gorski: Temporal Logic | |
Hardcover:
Pages
Isbn: 0471929840 Canada | United Kingdom | Germany | France | Japan | |
52. 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 | |
53. 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 | |
54. 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 | |
55. 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 | |
56. 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 | |
57. Verifying temporal properties without using temporal logic (Technical report. Cornell University. Dept. of Computer Science) by Bowen Lewis Alpern | |
Unknown Binding: 41
Pages
(1985)
Asin: B00070VOI0 Canada | United Kingdom | Germany | France | Japan | |
58. 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 | |
59. 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 | |
60. 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 | |
  | Back | 41-60 of 100 | Next 20 |