Temporal Logic Vol. 2
by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
Logic, symbolic and mathematicalComputer logicMachine theoryTemporal automataLogique informatiqueAutomates
Writing a summary for young readers…
For young readers
Book data: Open Library