Temporal Logic: Volume 1
af Dov M. Gabbay
Bog, Hardback, Engelsk, 1994
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.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO2.940,96 kr.Gratis fragtUkendtKøb for 2.940,96 kr.Køb
- Bogreolen4.045,95 kr.0,00 kr.2-4 ugerKøb for 4.045,95 kr.Køb
- Tales4.046,95 kr.34,95 kr.2-4 ugerKøb for 4.046,95 kr.Køb
- Pling BØGER4.046,95 kr.34,95 kr.2-4 ugerKøb for 4.046,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9780198537694
- Udgivet21/07/1994
- Udgivet afOxford University Press
- Længde668 sider
- ForfatterDov M. Gabbay
- GenreBusiness og læring, Computer og IT