Temporal logic
Computer programmingSymbolic and mathematical LogicElectronic digital computers, programmingLogic, symbolic and mathematical
ISBN
354058241X
Temporal logic is a computer programming, symbolic and mathematical logic book by Dov M. Gabbay.
Discover Temporal logic by Dov M. Gabbay, computer programming.
About the Author
Dov M. Gabbay is the author of Temporal logic. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Temporal logic?+
Temporal logic is a Computer programming, Symbolic and mathematical Logic, Electronic digital computers, programming, Logic, symbolic and mathematical book.
Who wrote Temporal logic?+
Temporal logic was written by Dov M. Gabbay.