Geometry.Net - the online learning center
Home  - Science - Logic Temporal
e99.com Bookstore
  
Images 
Newsgroups
81-100 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20
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  

         Logic Temporal:     more books (100)
  1. Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
  2. Temporal reasoning and default logics (Research report. Yale University. Dept. of Computer Science) by Steve Hanks, 1985
  3. On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation) by D Perrin, 1986
  4. 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, 1986
  5. Temporal Logic by Dov M. Gabbay, 2007
  6. 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, 1986
  7. Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / Université P. et M. Curie, Laboratoire Informatique Théorique et Programmation) by Ana R Cavalli, 1985
  8. 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, 2003-01-01
  9. A concurrent program synthesis using Petri net and temporal logic in MENDELS ZONE (ICOT technical report) by Naoshi Uchihira, 1989
  10. Protocol specification and verification using the significant event temporal logic (Technical report. University of British Columbia. Dept. of Computer Science) by George K Tsiknis, 1988
  11. Propositional temporal interval logic is PSPACE (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1987
  12. Temporal Logic (LEP Library of Exact Philosophy) by Nicholas Rescher, Alasdair Urquhart, 1971-08-18
  13. A temporal logic for multi-level reasoning about hardware by Ben Moszkowski, 1982
  14. Characterising temporal logic (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1989

lists with details

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  
81-100 of 109    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20