Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
#40 of 5 in Oxford Logic Guides

Temporal Logic

Mathematical Foundations and Computational Aspects, Volume 2

ByDov M. Gabbay,Mark A. Reynolds,+1 more
1994 • 616 pages
Nitin
Nitin Rughoonauth
Added to listMy Library
Saved as Want To Read