Temporal logic
Temporal logic
Dov M. Gabbay
Details
OL Work ID
OL18329377W
Subjects
Computer programming
Symbolic and mathematical Logic
Electronic digital computers, programming
Logic, symbolic and mathematical
Find this book
Open Library