Geometry.Net - Science Books: Logic Temporal

e99 Online Shopping Mall

	Help
Home - Science - Logic Temporal (Books)

Back | 61-80 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

61. Temporal Logic

62. An improved algorithm for the

63. Temporal logic specification and

64. Proceedings of the Combined Tenth

65. A concurrent program synthesis

66. Protocol specification and verification

67. Propositional temporal interval

68. Temporal Logic (LEP Library of

69. A temporal logic for multi-level

70. Characterising temporal logic

71. Executable Modal and Temporal

72. The complementation problem for

73. Automatic verification of finite

74. Engineering of Computer Based

75. Control of discrete event systems

76. Hierarchical planning using temporal

77. Sy-Control: A tool for syntactic

78. The Temporal Logic Of Reactive

79. Specification and reasoning of

80. A proof editor for propositional

61. Temporal Logic by Dov M. Gabbay
	Paperback: Pages (2007) Asin: B003Q9Z610 Canada \| United Kingdom \| Germany \| France \| Japan

62. 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

63. 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

64. 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

65. 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

66. 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

67. Propositional temporal interval logic is PSPACE (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby
	Unknown Binding: 19 Pages (1987) Asin: B00071BWTA Canada \| United Kingdom \| Germany \| France \| Japan

68. 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

69. 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

70. 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

71. Executable Modal and Temporal Logics by Michael Fisher
	Paperback: Pages (2007) Asin: B003QAAUE2 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. Automatic verification of finite state machines using temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Michael C Browne
	Unknown Binding: 138 Pages (1989) Asin: B00071KCDM Canada \| United Kingdom \| Germany \| France \| Japan

74. Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On by IEEE Computer Society Staff
	Paperback: Pages (2003-01-01) Asin: B003Q5QF3M Canada \| United Kingdom \| Germany \| France \| Japan

75. Control of discrete event systems in temporal logic (PATH technical note) by Akash Deshpande
	Unknown Binding: 39 Pages (1994) Asin: B0006P9AEQ Canada \| United Kingdom \| Germany \| France \| Japan

76. Hierarchical planning using temporal logic (Tech report) by Michael J Manthey
	Unknown Binding: 13 Pages (1984) Asin: B00071AG74 Canada \| United Kingdom \| Germany \| France \| Japan

77. Sy-Control: A tool for syntactic control in temporal logic (PATH technical note) by Akash Deshpande
	Unknown Binding: 14 Pages (1994) Asin: B0006P9A0U Canada \| United Kingdom \| Germany \| France \| Japan

78. The Temporal Logic Of Reactive And Concurrent Systems by Zohar Manna
	Hardcover: Pages (1991-01-01) Asin: B003Q9STFU Canada \| United Kingdom \| Germany \| France \| Japan

79. Specification and reasoning of real-time systems in real-time temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by K. T Narayana
	Unknown Binding: Pages (1988) Asin: B00071FVFQ Canada \| United Kingdom \| Germany \| France \| Japan

80. A proof editor for propositional temporal logic (Report / Dept. of Computer Science, Stanford University) by Ross Casley
	Unknown Binding: 26 Pages (1986) Asin: B00073CJOK Canada \| United Kingdom \| Germany \| France \| Japan

Back | 61-80 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.