e99 Online Shopping Mall

Geometry.Net - the online learning center Help  
Home  - Science - Temporal Logic (Books)

  Back | 41-60 of 100 | 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  

click price to see details     click image to enlarge     click link to go to the store

 
41. Practical Formal Methods using
 
42. An introduction to the model theory
 
43. Automatic and hierarchical verification
 
44. Temporal-logic theorem proving
 
45. Decision procedures and expressiveness
 
46. Characterizing Kripke structures
 
47. Compiling temporal logic specifications
 
48. Design verification of sequential
 
49. Problems concerning fairness and
 
50. On the eventuality operator in
 
51. Gorski: Temporal Logic
 
52. Avoiding the state explosion problem
 
53. Temporal logics, automata, and
 
54. Temporal logics for abstract semantics
 
55. Temporal logic for proof-carrying
 
56. Synthesis of hardware elements
 
57. Verifying temporal properties
 
58. A temporal-logic based compositional
 
59. The treatment of macro expansions
 
60. Temporal logic programming is

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
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further. A variety of examples, exercises and pointers to more advanced work in this area help to clarify and illustrate topics discussed. The following chapter shows how this logic can be used to specify a variety of computational systems.   Chapters 4, 5 and 6 analyse techniques using temporal specifications to verify and develop computational systems, namely deductive verification, algorithmic verification, and direct execution.  A final chapter on case studies analyses the potential problems that can occur in a range of engineering applications, and explains how temporal logic can improve their accuracy and reliability. Fisher also gives pointer to where the reader can find full descriptions of these computations earlier in the book. An appendix provides an introduction to classical logic, and an accompanying website contains links to additional material related to the book, and to a range of systems based on temporal logic. ... Read more


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 Martí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 spécifications exprimé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
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  

Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

site stats