Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
$78.00
from $77.96
Pepperdine Papers on Linear Temporal Logic
from $24.00
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
from $44.50
Model Checking for Linear Temporal Logic: An Efficient Implementation
from $110.00
Model Checking is Refinement -- Relating Buechi Testing and Linear-Time Temporal Logic
A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic
$83.71
from $71.87
Time & Logic: A Computational Approach (Routledge Revivals)
from $49.87
Inductive Logic Programming: 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings (Lecture Notes in Computer Science Book 14363)
from $38.02
Closing the Loop: Systems Thinking for Designers
from $33.99
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160)
from $42.62
More results from Amazon »