| Shelfclass_id | 4.D |
| Sortkey | GABBAY, DOV M |
| Authors | Dov M. Gabbay, Mark Reynolds, Marcelo Finger |
| Title | Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2: Vol. 2 |
| Publisher | Clarendon Press |
| Year | 2000 |
| Languages | eng |
| Isbn | 0198537689 |
| Series | Oxford logic guides |
| Volume | 40 |
| Record date | 20060713 |
| Location | Oxford |
| Keywords | Programmering, Symbolisk logik, Machine theory, Computer logic, Temporal automata |
| Notes | ISBN-13: 9780198537687 |