Main image
Click to view image in fullscreen
![]()
Temporal Logic: Volume 1
BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
3 140,00 DH
Sur commande
BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
| ISBN / EAN | 9780198537694 |
|---|---|
| Auteur | Gabbay, Dov M. |
| Editeur | Oxford University Press |